src/Tools/jEdit/README
changeset 37862 ec81023c6861
parent 37218 ffd587207d5d
child 39245 cc155a9bf3a2
equal deleted inserted replaced
37861:e1f028a8c76a 37862:ec81023c6861
    42 
    42 
    43 - The MacOSX plugin for jEdit disrupts regular C-X/C/V operations,
    43 - The MacOSX plugin for jEdit disrupts regular C-X/C/V operations,
    44   e.g. between the editor and the Console plugin, which is a standard
    44   e.g. between the editor and the Console plugin, which is a standard
    45   swing text box.  Similar for search boxes etc.
    45   swing text box.  Similar for search boxes etc.
    46 
    46 
       
    47 - ToggleButton selected state is not rendered if window focus is lost,
       
    48   which is probably a genuine feature of the Apple look-and-feel.
       
    49 
    47 - Anti-aliasing does not really work as well as for Linux or Windows.
    50 - Anti-aliasing does not really work as well as for Linux or Windows.
    48   (General Apple/Swing problem?)
    51   (General Apple/Swing problem?)
    49 
    52 
    50 - Font.createFont mangles the font family of non-regular fonts,
    53 - Font.createFont mangles the font family of non-regular fonts,
    51   e.g. bold.  IsabelleText font files need to be installed manually.
    54   e.g. bold.  IsabelleText font files need to be installed manually.
    52 
    55 
    53 - ToggleButton selected state is not rendered if window focus is lost,
    56 - Missing glyphs are collected from other fonts (like Emacs, Firefox).
    54   which is probably a genuine feature of the Apple look-and-feel.
    57   This is actually an advantage over the Oracle/Sun JVM on Windows or
       
    58   Linux, but probably also the deeper reason for the other oddities of
       
    59   Apple font management.
    55 
    60 
    56 
    61 
    57 Windows/Linux
    62 Windows/Linux
    58 =============
    63 =============
    59 
    64