| 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
|