# HG changeset patch
# User wenzelm
# Date 1274553479 -7200
# Node ID bbcc89d19f557a10724754aa0ef6882ad4bc77c3
# Parent  492bc98a8809c4cf1d00ff94615ff2aaa45752c1
more Mac OS problems;

diff -r 492bc98a8809 -r bbcc89d19f55 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Sat May 22 20:37:20 2010 +0200
+++ b/src/Tools/jEdit/README_BUILD	Sat May 22 20:37:59 2010 +0200
@@ -88,3 +88,6 @@
 
 - Font.createFont mangles the font family of non-regular fonts,
   e.g. bold.
+
+- ToggleButton selected state is not rendered if window focus is lost,
+  which is probably a genuine feature of the Apple look-and-feel.