** storm@cua.dk, Jan 2: Bug in incremental undrawing of mouseover highlighting
** simon.marshall@misys.com, Jan 9: Possible mouse-face redisplay glitch Bugs fixed.
Showing
Please register or sign in to comment
** simon.marshall@misys.com, Jan 9: Possible mouse-face redisplay glitch Bugs fixed.