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
|