# HG changeset patch # User wenzelm # Date 1279656217 -7200 # Node ID ec81023c68615982461e098fcbc785427893a4a7 # Parent e1f028a8c76a2e877e57658736ca0c4fc0224b01 further Mac OS X deviations; diff -r e1f028a8c76a -r ec81023c6861 src/Tools/jEdit/README --- a/src/Tools/jEdit/README Tue Jul 20 21:57:26 2010 +0200 +++ b/src/Tools/jEdit/README Tue Jul 20 22:03:37 2010 +0200 @@ -44,14 +44,19 @@ e.g. between the editor and the Console plugin, which is a standard swing text box. Similar for search boxes etc. +- ToggleButton selected state is not rendered if window focus is lost, + which is probably a genuine feature of the Apple look-and-feel. + - Anti-aliasing does not really work as well as for Linux or Windows. (General Apple/Swing problem?) - Font.createFont mangles the font family of non-regular fonts, e.g. bold. IsabelleText font files need to be installed manually. -- ToggleButton selected state is not rendered if window focus is lost, - which is probably a genuine feature of the Apple look-and-feel. +- Missing glyphs are collected from other fonts (like Emacs, Firefox). + This is actually an advantage over the Oracle/Sun JVM on Windows or + Linux, but probably also the deeper reason for the other oddities of + Apple font management. Windows/Linux