Sat, 07 Sep 2013 17:23:05 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 07 Sep 2013 15:10:33 +0200 |
wenzelm |
Build_Dialog based on System_Dialog;
|
file |
diff |
annotate
|
Sat, 07 Sep 2013 00:02:19 +0200 |
wenzelm |
build session before start of jedit;
|
file |
diff |
annotate
|
Wed, 22 May 2013 16:47:48 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 04 Apr 2013 18:06:48 +0200 |
wenzelm |
tuned signature -- concentrate GUI tools;
|
file |
diff |
annotate
|
Thu, 04 Apr 2013 17:58:47 +0200 |
wenzelm |
tuned signature -- concentrate GUI tools;
|
file |
diff |
annotate
|
Thu, 04 Apr 2013 17:47:28 +0200 |
wenzelm |
separate module "GUI", to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
|
file |
diff |
annotate
|
Sat, 23 Feb 2013 15:08:53 +0100 |
wenzelm |
more explicit GUI components for dynamic actions;
|
file |
diff |
annotate
|
Sat, 23 Feb 2013 14:16:07 +0100 |
wenzelm |
clarified Progress.stopped: rising edge only;
|
file |
diff |
annotate
|
Thu, 17 Jan 2013 12:04:05 +0100 |
wenzelm |
delay to give users a chance to see what was happening, even with auto_close enabled;
|
file |
diff |
annotate
|
Sat, 12 Jan 2013 22:08:38 +0100 |
wenzelm |
add icon for toplevel windows;
|
file |
diff |
annotate
|
Sat, 12 Jan 2013 21:15:44 +0100 |
wenzelm |
lower bound to font size for the sake of Mac OS X (cf. 4cd2d090be8f);
|
file |
diff |
annotate
|
Sat, 12 Jan 2013 21:12:00 +0100 |
wenzelm |
forced scroll to bottom, for improved cross-platform appearance;
|
file |
diff |
annotate
|
Sat, 12 Jan 2013 20:13:34 +0100 |
wenzelm |
tuned font size, notably for current HD displays;
|
file |
diff |
annotate
|
Sat, 12 Jan 2013 18:13:28 +0100 |
wenzelm |
tuned build_dialog: auto_close checkbox avoids user sitting and waiting;
|
file |
diff |
annotate
|
Sat, 12 Jan 2013 16:43:38 +0100 |
wenzelm |
more uniform theory progress in build -v and build_dialog;
|
file |
diff |
annotate
|
Sat, 12 Jan 2013 15:00:48 +0100 |
wenzelm |
immediate theory progress for build_dialog;
|
file |
diff |
annotate
|
Sat, 05 Jan 2013 19:05:16 +0100 |
wenzelm |
premature window close means failure;
|
file |
diff |
annotate
|
Sat, 05 Jan 2013 18:36:02 +0100 |
wenzelm |
proper return code on window close;
|
file |
diff |
annotate
|
Wed, 02 Jan 2013 17:58:53 +0100 |
wenzelm |
moved files;
|
file |
diff |
annotate
| base
|