1.1 --- a/src/Tools/jEdit/README_BUILD	Sat May 22 20:37:20 2010 +0200
     1.2 +++ b/src/Tools/jEdit/README_BUILD	Sat May 22 20:37:59 2010 +0200
     1.3 @@ -88,3 +88,6 @@
     1.4  
     1.5  - Font.createFont mangles the font family of non-regular fonts,
     1.6    e.g. bold.
     1.7 +
     1.8 +- ToggleButton selected state is not rendered if window focus is lost,
     1.9 +  which is probably a genuine feature of the Apple look-and-feel.