Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more Mac OS problems;
authorwenzelm
Sat, 22 May 2010 20:37:59 +0200
changeset 37064 bbcc89d19f55
parent 37063 492bc98a8809
child 37065 2a73253b5898
more Mac OS problems;
src/Tools/jEdit/README_BUILD file | annotate | diff | comparison | revisions 
--- 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.
isabelle