| 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
|