| Sat, 22 May 2010 22:30:43 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 19:42:20 +0200 |
wenzelm |
rendering information and style sheets via settings;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 16:40:25 +0200 |
wenzelm |
observe additional isabelle-jedit.css for component and user;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 11:51:03 +0200 |
wenzelm |
HTML_Panel.handler as overridable method;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 11:16:01 +0200 |
wenzelm |
more systematic treatment of internal state, which belongs strictly to the main actor, not the Swing thread;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 21:10:03 +0200 |
wenzelm |
mutate displayed document synchronously in Swing thread, for improved robustness;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 21:07:05 +0200 |
wenzelm |
read style sheets only once;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 20:56:26 +0200 |
wenzelm |
handle component resize for output / HTML panel;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 16:22:50 +0200 |
wenzelm |
determine margin just before rendering -- proper reformatting when updating;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 13:54:31 +0200 |
wenzelm |
more systematic treatment of physical document wrt. font size etc.;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 11:44:41 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 11:36:30 +0200 |
wenzelm |
general Isabelle_System.try_read;
|
file |
diff |
annotate
|
| Wed, 12 May 2010 12:50:00 +0200 |
wenzelm |
clarified Pretty.font_metrics;
|
file |
diff |
annotate
|
| Wed, 12 May 2010 11:31:05 +0200 |
wenzelm |
format as topmost list of "divs", not just adjacent "spans" -- for proper line breaking;
|
file |
diff |
annotate
|
| Tue, 11 May 2010 23:36:06 +0200 |
wenzelm |
more precise pretty printing based on actual font metrics;
|
file |
diff |
annotate
|
| Tue, 11 May 2010 15:47:31 +0200 |
wenzelm |
support Isabelle plugin properties with defaults;
|
file |
diff |
annotate
|
| Mon, 10 May 2010 23:36:47 +0200 |
wenzelm |
font size re-adjustment according to Lobo internals;
|
file |
diff |
annotate
|
| Sat, 08 May 2010 21:08:30 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Fri, 07 May 2010 22:00:23 +0200 |
wenzelm |
output symbolic pretty printing markup and format in the front end;
|
file |
diff |
annotate
|
| Tue, 30 Mar 2010 00:13:27 +0200 |
wenzelm |
adapted to Scala 2.8.0 Beta 1;
|
file |
diff |
annotate
|
| Mon, 11 Jan 2010 23:00:05 +0100 |
wenzelm |
incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
|
file |
diff |
annotate
| base
|