The Dockable-Buttons don't change look if they are
hovered by the mouse like the close- and arrow-
buttons in the docking areas do.
Sorry if this is a dupe, but I have many bugs to post
and am too lazy to check them all for dupes
OS: Windows XP
Java Version: Sun Java 1.5.0_09-b03
jEdit Version: 4.3pre8