NEWS
changeset 50183 2b3e24e1c9e7
parent 50182 30177ec0be36
child 50184 5a16f42a9b44
equal deleted inserted replaced
50182:30177ec0be36 50183:2b3e24e1c9e7
    74 
    74 
    75 * More plugin options and preferences, based on Isabelle/Scala.  The
    75 * More plugin options and preferences, based on Isabelle/Scala.  The
    76 jEdit plugin option panel provides access to some Isabelle/Scala
    76 jEdit plugin option panel provides access to some Isabelle/Scala
    77 options, including tuning parameters for editor reactivity and color
    77 options, including tuning parameters for editor reactivity and color
    78 schemes.
    78 schemes.
       
    79 
       
    80 * Improved editing support for control styles: subscript, superscript,
       
    81 bold, reset of style -- operating on single symbols or text
       
    82 selections.  Cf. keyboard short-cuts C+e DOWN/UP/RIGHT/LEFT.
    79 
    83 
    80 * Uniform Java 7 platform on Linux, Mac OS X, Windows: recent updates
    84 * Uniform Java 7 platform on Linux, Mac OS X, Windows: recent updates
    81 from Oracle provide better multi-platform experience.  This version is
    85 from Oracle provide better multi-platform experience.  This version is
    82 now bundled exclusively with Isabelle.
    86 now bundled exclusively with Isabelle.
    83 
    87