|
01:59
librasteve_ left
|
|||
| Geth | Terminal-Widgets/main: 3e51cd0fe4 | (Geoffrey Broadwell)++ | examples/dir-tree.raku You know what makes log scrolling faster? Using the log viewer like you're supposed to, instead of breaking every log entry into a dozen smaller log entries. |
02:01 | |
Terminal-Widgets/main: 9 commits pushed by (Geoffrey Broadwell)++
|
06:57 | ||
| patrickb | Curious as I've not tackled these types of problems before. Is the typical fix for event pile up to simply speed things up? (That's obviously a good improvement in any case.) Intuitively I would have tried to skip redraws whenever I notice that the event queue gets longer than 1. Would that be a stupid idea? | 07:47 | |
| lizmat | fwiw, that's the approach I used in a "full screen" editor that I wrote in the late 80s for a customer, that was supposed to be as responsive on 286s as well as on 386s at the time | 09:22 | |
|
10:10
librasteve_ joined
|
|||
| japhb | Right now I don't have any visibility into the length of the event queue, though I will probably have to face that when I enable mouse dragging for scroll bars; there's no way I'm going to be able to refresh-for-scroll faster than a modern terminal can throw mouse events. | 17:38 | |
| And no, it's not really a fix to speed things up. It *is* a good opportunity to look for stupid slowness, however. | |||
| For example, the skip table keeps the cost to redraw a scrolled log bounded; previously it was linear in the log length, and thus as the log got longer it would get progressively slower, making the event pile up problem worse as time went on. | 17:41 | ||
| gather/take and phasers in inner loops cost performance, and are easy enough to replace (though yes, a bit uglier now) | 17:43 | ||
| So I suppose you can consider last night to be clearing out some technical debt. :-) | 17:44 | ||
| The other side effect of all that tweaking is that overall performance got more stable (fewer outliers, tighter distribution), which is nice for giving people a steadier, less janky experience. | 17:45 | ||
| (Research a while back showed that people are more annoyed by jank in something that's normally fast than general slowness always.) | |||
|
19:56
librasteve_ left
|
|||