src/Tools/jEdit/src/jedit/isabelle_markup.scala
Thu, 04 Nov 2010 10:58:03 +0100 wenzelm clarified tooltips: message output by default, extra info via control/command;
Tue, 28 Sep 2010 23:02:05 +0200 wenzelm basic support for message popups via HTML_Panel;
Sun, 26 Sep 2010 19:46:02 +0200 wenzelm some markup for inner syntax tokens;
Sat, 25 Sep 2010 15:40:40 +0200 wenzelm more precise treatment of backgrounds vs. rectangles;
Fri, 24 Sep 2010 17:20:09 +0200 wenzelm tuned warning_color;
Fri, 24 Sep 2010 17:12:09 +0200 wenzelm tuned error_color;
Fri, 24 Sep 2010 17:09:07 +0200 wenzelm some attempts to improve visual appearance of bad text;
Fri, 17 Sep 2010 21:50:44 +0200 wenzelm Isabelle_Markup.overview_color: indicate error / warning messages;
Fri, 10 Sep 2010 15:05:30 +0200 wenzelm Isabelle_Markup.tooltip: explicit indication of ML;
Thu, 09 Sep 2010 21:30:33 +0200 wenzelm Isabelle.load_icon with some sanity checks;
Tue, 07 Sep 2010 23:59:14 +0200 wenzelm Document_View: select gutter message icons from markup over line range, not full range results;
Tue, 07 Sep 2010 23:23:19 +0200 wenzelm moved token markup tables to isabelle_markup.scala;
Tue, 07 Sep 2010 23:06:52 +0200 wenzelm concentrate Isabelle specific physical rendering markup selection in isabelle_markup.scala;
less more (0) tip