Trying out the new button look, I run into the following bug: Normally when you move the mouse over the button, it will change colour when moving in / moving out, as intended. At the same time you see (debug output) how every visible paragraph is repainted.
However, if you do the following: 1) go to a location away from the button, 2) click to place the text cursor there, and 3) either insert or delete a character ... the button will go "dead" and not respond to mouse-over anymore. And you see that _only_ the paragraph the text cursor is in, gets repainted. Normal behaviour is restored by, e.g., clicking on the button, or scrolling the screen. Looks good though... - Martin
pgpKT4HW7aaeI.pgp
Description: PGP signature
