| Sun, 03 Apr 2011 17:35:16 +0200 |
wenzelm |
show tooltip/sub-expression for entity markup;
|
file |
diff |
annotate
|
| Wed, 30 Mar 2011 22:06:25 +0200 |
wenzelm |
visualize skolem and hilite (undeclared frees);
|
file |
diff |
annotate
|
| Sun, 27 Mar 2011 21:19:23 +0200 |
wenzelm |
added Markup.Name and Markup.Kind convenience;
|
file |
diff |
annotate
|
| Sun, 27 Mar 2011 18:12:18 +0200 |
wenzelm |
adhoc token style for free/bound;
|
file |
diff |
annotate
|
| Thu, 04 Nov 2010 16:15:13 +0100 |
wenzelm |
added property "tooltip-margin";
|
file |
diff |
annotate
|
| Thu, 04 Nov 2010 10:58:03 +0100 |
wenzelm |
clarified tooltips: message output by default, extra info via control/command;
|
file |
diff |
annotate
|
| Tue, 28 Sep 2010 23:02:05 +0200 |
wenzelm |
basic support for message popups via HTML_Panel;
|
file |
diff |
annotate
|
| Sun, 26 Sep 2010 19:46:02 +0200 |
wenzelm |
some markup for inner syntax tokens;
|
file |
diff |
annotate
|
| Sat, 25 Sep 2010 15:40:40 +0200 |
wenzelm |
more precise treatment of backgrounds vs. rectangles;
|
file |
diff |
annotate
|
| Fri, 24 Sep 2010 17:20:09 +0200 |
wenzelm |
tuned warning_color;
|
file |
diff |
annotate
|
| Fri, 24 Sep 2010 17:12:09 +0200 |
wenzelm |
tuned error_color;
|
file |
diff |
annotate
|
| Fri, 24 Sep 2010 17:09:07 +0200 |
wenzelm |
some attempts to improve visual appearance of bad text;
|
file |
diff |
annotate
|
| Fri, 17 Sep 2010 21:50:44 +0200 |
wenzelm |
Isabelle_Markup.overview_color: indicate error / warning messages;
|
file |
diff |
annotate
|
| Fri, 10 Sep 2010 15:05:30 +0200 |
wenzelm |
Isabelle_Markup.tooltip: explicit indication of ML;
|
file |
diff |
annotate
|
| Thu, 09 Sep 2010 21:30:33 +0200 |
wenzelm |
Isabelle.load_icon with some sanity checks;
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 23:59:14 +0200 |
wenzelm |
Document_View: select gutter message icons from markup over line range, not full range results;
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 23:23:19 +0200 |
wenzelm |
moved token markup tables to isabelle_markup.scala;
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 23:06:52 +0200 |
wenzelm |
concentrate Isabelle specific physical rendering markup selection in isabelle_markup.scala;
|
file |
diff |
annotate
|