| Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| Wed, 21 May 2014 16:21:11 +0200 |
wenzelm |
more uniform Font_Info.Zoom_Box;
|
file |
diff |
annotate
|
| Tue, 06 May 2014 23:35:24 +0200 |
wenzelm |
tuned GUI for Windows L&F;
|
file |
diff |
annotate
|
| Tue, 06 May 2014 15:54:22 +0200 |
wenzelm |
tuned GUI layout;
|
file |
diff |
annotate
|
| Sat, 26 Apr 2014 15:33:13 +0200 |
wenzelm |
uniform focus traversal via TAB / Shift-TAB for all fields, in contrast to Java defaults, but in accordance to occasional jEdit practice;
|
file |
diff |
annotate
|
| Sat, 19 Apr 2014 19:03:32 +0200 |
wenzelm |
clarified tooltip_lines: HTML.encode already takes care of newline (but not space);
|
file |
diff |
annotate
|
| Fri, 10 Jan 2014 12:29:25 +0100 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Thu, 09 Jan 2014 20:17:15 +0100 |
wenzelm |
access X11 window manager;
|
file |
diff |
annotate
|
| Mon, 09 Dec 2013 22:02:42 +0100 |
wenzelm |
alternative hires icon;
|
file |
diff |
annotate
|
| Thu, 05 Dec 2013 19:59:43 +0100 |
wenzelm |
uniform use of transparent icons, as for main "apps";
|
file |
diff |
annotate
|
| Sun, 01 Dec 2013 13:03:15 +0100 |
wenzelm |
more isabelle logos (from isabelle.ico);
|
file |
diff |
annotate
|
| Sat, 30 Nov 2013 22:56:20 +0100 |
wenzelm |
prefer 32x32 icon like jedit (image from isabelle.ico);
|
file |
diff |
annotate
|
| Wed, 06 Nov 2013 18:15:25 +0100 |
wenzelm |
less tiny font for search criteria;
|
file |
diff |
annotate
|
| Tue, 24 Sep 2013 20:41:28 +0200 |
wenzelm |
more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material);
|
file |
diff |
annotate
|
| Tue, 24 Sep 2013 19:53:05 +0200 |
wenzelm |
simplified default L&F -- Nimbus should be always available and GTK+ is not fully working yet;
|
file |
diff |
annotate
|
| Tue, 24 Sep 2013 19:46:11 +0200 |
wenzelm |
proper platform-specific test;
|
file |
diff |
annotate
|
| Tue, 24 Sep 2013 19:41:14 +0200 |
wenzelm |
disable standard behaviour of Mac OS X text field (i.e. select-all after focus gain) in order to make completion work more smoothly;
|
file |
diff |
annotate
|
| Sun, 22 Sep 2013 18:42:18 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 22 Sep 2013 18:36:22 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 22 Sep 2013 14:30:34 +0200 |
wenzelm |
clarified location of GUI modules (which depend on Swing of JFX);
|
file |
diff |
annotate
| base
|