3:01:22beachExceptionally, my favorite coauthor comes for lunch today (a Thursday) rather than on Wednesdays as usual, so I'll be off a lot, but I'll check in regularly.
4:05:57lokebeach: nsrahmad did a nice code review of my changes for font replacement
4:08:41lokeI addressed all but one of his comments. The last one is a matter of style, and I'll change that too if he insists.https://github.com/McCLIM/McCLIM/pull/498
4:10:09lokebeach: I'm so frustrated by the way... The new scrolling is super fast and super smooth... But... There is a problem that I believe happens if the “scrolled-in” area isn't repainted fully before the next scroll event. THat causes display problems.
4:10:19beachI think you should supply both width and height and then IGNORE the height.
4:10:23lokeIs there a way to force a repaint of an area “now” and not later?
4:11:34lokeOr... an alterntive... Is there a way to determine if there are more scroll events waiting?
4:12:27beachI am surprised. Normally each event is processed fully before the next one is read.
4:12:43beachPerhaps it's a simple matter of flushing some X11 buffer.
4:18:02lokebeach: I think what happens is that after I move the visible area using xrender, I call repaint-sheet which adds a reqpaint request to the queue? But by then, there is already another scroll request in the queue, which will be processed before the repaint actually happens.