src/Tools/jEdit/src/rendering.scala
2013-08-07 ago tuned signature;
2013-08-07 ago more tight interface for markup cumulate/select: avoid duplicate application, allow to defer decision about definedness;
2013-08-05 ago tuned signature;
2013-07-13 ago more rendering for information messages;
2013-07-13 ago gutter icon for information messages;
2013-07-13 ago more explicit Markup.information for messages produced by "auto" tools;
2013-07-05 ago explicit module Document_ID as source of globally unique identifiers across ML/Scala;
2013-06-28 ago load icons via options -- prefer IntelliJ IDEA for now;
2013-06-28 ago support for idea-icons (using ideaIC-129.354/platform/icons/src from IntelliJ IDEA Community Edition 12.1.2);
2013-05-21 ago tuned;
2013-05-21 ago less intrusive rendering of antiquoted text -- avoid visual clash with "blue variables" in particular;
2013-05-20 ago discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;
2013-03-30 ago tooltip of command keyword includes timing information;
2013-03-28 ago ghost bullet via markup, which is painted as bar under text (normally space);
2013-03-23 ago retain original tooltip range, to avoid repeated window popup when the mouse is moved over the same content;
2013-01-14 ago more prominent status ticks;
2013-01-04 ago prefer old graph browser in Isabelle/jEdit, which still produces better layout;
2012-12-30 ago tuned rendering;
2012-12-15 ago more general handling of graphics configurations, to increase chance of proper positioning of tooltips in multi-screen environment;
2012-12-15 ago tuned;
2012-12-15 ago explicit text_fold markup, which is used by default in Pretty.chunks/chunks2;
2012-12-15 ago fold main goal;
2012-12-15 ago fold handling within Pretty_Text_Area, based on formal document content, which is static here;
2012-12-14 ago more formal class Command.Results;
2012-12-13 ago include command results in tooltip as well;
2012-12-13 ago more careful handling of Dialog_Result, with active area and color feedback;
2012-12-13 ago identify dialogs via official serial and maintain as result message;
2012-12-12 ago rendering of selected dialog_result as active_result_color, depending on dynamic command status in output panel, but not static popups etc.;
2012-12-12 ago support dialog via document content;
2012-12-10 ago generalized notion of active area, where sendback is just one application;
2012-11-26 ago more general sendback properties;
2012-11-25 ago tuned signature;
2012-11-25 ago renamed main plugin object to PIDE;
2012-11-25 ago tuned file name;