| 6 | | (Later, some food for thought perhaps could be found in ticket:2136 (which introduces a timer) or by "git log --grep count src/filemanager/filegui.c".) |
| | 6 | (Later, some food for thought perhaps could be found in #2136 (which introduces a timer), #3247 and #43 which it links to, or by "git log --grep count src/filemanager/filegui.c".) |
| | 7 | |
| | 8 | ---- |
| | 9 | |
| | 10 | **UPDATE**: Forget my suggestion to rename this to "ascertain blah blah blah". We should mark this as a dupe of #43, or #2300. But I do wonder if anybody verified that the screen updating is indeed the main culprit. |
