Wait, is the reported size actually different between the two? Or is it just that Dolphin is reporting it in terms of KiB whereas your file manager uses MiB?
Regardless, I don't think that could be related to the performance problem...
Regardless, I don't think that could be related to the performance problem...
