src/Tools/jEdit/src/rendering.scala
2014-02-25 wenzelm 2014-02-25 tuned;
2014-02-24 wenzelm 2014-02-24 clarified painting of invisible caret, e.g. focus change due to popup;
2014-02-24 wenzelm 2014-02-24 tuned messages;
2014-02-23 wenzelm 2014-02-23 clarified stretch_point_range wrt. UTF-16 surrogates; tuned;
2014-02-23 wenzelm 2014-02-23 tuned;
2014-02-23 wenzelm 2014-02-23 some rendering of completion range; tuned;
2014-02-23 wenzelm 2014-02-23 clarified completion names; tuned signature;
2014-02-22 wenzelm 2014-02-22 support for semantic completion on Scala side;
2014-02-22 wenzelm 2014-02-22 refined language context: antiquotes; support default completions, with move of caret position; tuned signature;
2014-02-21 wenzelm 2014-02-21 tuned signature -- avoid redundancy and confusion of flags;
2014-02-21 wenzelm 2014-02-21 more general / abstract Command.Markups, with separate index for status elements; slightly faster Rendering.overview_color;
2014-02-21 wenzelm 2014-02-21 more lightweight Rendering;
2014-02-21 wenzelm 2014-02-21 tuned signature;
2014-02-20 wenzelm 2014-02-20 tuned comments;
2014-02-20 wenzelm 2014-02-20 complete symbols within ML strings / comments;
2014-02-20 wenzelm 2014-02-20 tuned;
2014-02-20 wenzelm 2014-02-20 clarified markup cumulation order (see also 25306d92f4ad and 0009a6ebc83b), e.g. relevant for completion_context;
2014-02-20 wenzelm 2014-02-20 cumulate/select wrt. precise elements guard; tuned signature;
2014-02-20 wenzelm 2014-02-20 tuned;
2014-02-20 wenzelm 2014-02-20 default completion context via outer syntax; no symbol completion for ML files; tuned;
2014-02-20 wenzelm 2014-02-20 completion of keywords and symbols based on language context;
2014-02-18 wenzelm 2014-02-18 generic markup for embedded languages;
2014-02-17 wenzelm 2014-02-17 hyperlink for visible positions;
2014-02-17 wenzelm 2014-02-17 more markup;
2014-02-16 wenzelm 2014-02-16 more uniform rendering of text that is formally interpreted: avoid clash with inner markup;
2014-02-16 wenzelm 2014-02-16 support ML antiquotations in Scala; tuned -- more uniform ML vs. Scala;
2014-02-15 wenzelm 2014-02-15 more uniform ML keyword markup; tuned;
2014-02-15 wenzelm 2014-02-15 tuned;
2014-02-15 wenzelm 2014-02-15 refined ML keyword styles;
2014-02-15 wenzelm 2014-02-15 isabelle-ml mode with separate token marker; clarified ML_Lex.gap_start: end-of-input counts as single newline;
2014-02-04 Lars Hupel 2014-02-04 interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2014-01-18 wenzelm 2014-01-18 support for nested text cartouches; clarified Symbol.is_symbolic: exclude \<open> and \<close>;
2013-12-09 wenzelm 2013-12-09 added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE;
2013-11-19 wenzelm 2013-11-19 clarified boundary cases of Document.Node.Name;
2013-09-11 wenzelm 2013-09-11 more explicit indication of 'done' as proof script element;
2013-09-02 wenzelm 2013-09-02 more explicit indication of 'guess' as improper Isar (aka "script") element;
2013-08-29 wenzelm 2013-08-29 more abstract Completion_Popup.Text_Area; more uniform font size;
2013-08-27 wenzelm 2013-08-27 determine completion geometry like tooltip; just one option jedit_popup_bounds for tooltip and completion;
2013-08-12 wenzelm 2013-08-12 manage hyperlinks via PIDE editor interface;
2013-08-07 wenzelm 2013-08-07 more elementary list structures for markup tree traversal;
2013-08-07 wenzelm 2013-08-07 tuned signature; tuned;
2013-08-07 wenzelm 2013-08-07 more tight interface for markup cumulate/select: avoid duplicate application, allow to defer decision about definedness;
2013-08-05 wenzelm 2013-08-05 tuned signature;
2013-07-13 wenzelm 2013-07-13 more rendering for information messages;
2013-07-13 wenzelm 2013-07-13 gutter icon for information messages; avoid redundant Pretty.chunks to keep Markup.information node topmost;
2013-07-13 wenzelm 2013-07-13 more explicit Markup.information for messages produced by "auto" tools;
2013-07-05 wenzelm 2013-07-05 explicit module Document_ID as source of globally unique identifiers across ML/Scala;
2013-06-28 wenzelm 2013-06-28 load icons via options -- prefer IntelliJ IDEA for now;
2013-06-28 wenzelm 2013-06-28 support for idea-icons (using ideaIC-129.354/platform/icons/src from IntelliJ IDEA Community Edition 12.1.2);
2013-05-21 wenzelm 2013-05-21 tuned;
2013-05-21 wenzelm 2013-05-21 less intrusive rendering of antiquoted text -- avoid visual clash with "blue variables" in particular;
2013-05-20 wenzelm 2013-05-20 discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;
2013-03-30 wenzelm 2013-03-30 tooltip of command keyword includes timing information;
2013-03-28 wenzelm 2013-03-28 ghost bullet via markup, which is painted as bar under text (normally space);
2013-03-23 wenzelm 2013-03-23 retain original tooltip range, to avoid repeated window popup when the mouse is moved over the same content;
2013-01-14 wenzelm 2013-01-14 more prominent status ticks; is_running takes priority -- important to spot unstable parts that are re-run after edits;
2013-01-04 wenzelm 2013-01-04 prefer old graph browser in Isabelle/jEdit, which still produces better layout; clarified print mode "active_graph": allow to switch "browser" vs. "graphview" uniformly; tuned signature;
2012-12-30 wenzelm 2012-12-30 tuned rendering;
2012-12-15 wenzelm 2012-12-15 more general handling of graphics configurations, to increase chance of proper positioning of tooltips in multi-screen environment; more tooltip options via Rendering;
2012-12-15 wenzelm 2012-12-15 tuned;