| Thu, 20 May 2010 23:19:28 +0200 | wenzelm | added somewhat generic zoom box; | changeset | files |
| Thu, 20 May 2010 21:32:48 +0200 | wenzelm | try CheckBox instead of ToggleButton, which is visually confusing without window focus, e.g. in a floating instance (problem of MacOS look-and-feel); | changeset | files |
| Thu, 20 May 2010 21:10:03 +0200 | wenzelm | mutate displayed document synchronously in Swing thread, for improved robustness; | changeset | files |
| Thu, 20 May 2010 21:07:05 +0200 | wenzelm | read style sheets only once; | changeset | files |
| Thu, 20 May 2010 20:56:26 +0200 | wenzelm | handle component resize for output / HTML panel; | changeset | files |
| Thu, 20 May 2010 20:22:00 +0200 | wenzelm | Isabelle_System: allow explicit isabelle_home argument; | changeset | files |
| Thu, 20 May 2010 20:20:52 +0200 | wenzelm | enable shell script editor mode; | changeset | files |