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?