| Sat, 21 Sep 2013 20:31:03 +0200 | wenzelm | proper layered pane at root of parent component, not global view (e.g. relevant for tooltips for detached info windows); | file | diff | annotate |
| Wed, 18 Sep 2013 16:18:17 +0200 | wenzelm | limit for text height; | file | diff | annotate |
| Wed, 18 Sep 2013 15:50:59 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 07 Sep 2013 11:36:03 +0200 | wenzelm | more portable access to icon -- avoid Isabelle_System which is not yet initialized in bootstrap; | file | diff | annotate |
| Thu, 04 Apr 2013 18:25:47 +0200 | wenzelm | added missing file; | file | diff | annotate |