Sun, 30 Dec 2012 21:49:20 +0100 |
wenzelm |
tuned rendering;
|
file |
diff |
annotate
|
Sat, 15 Dec 2012 21:07:52 +0100 |
wenzelm |
more general handling of graphics configurations, to increase chance of proper positioning of tooltips in multi-screen environment;
|
file |
diff |
annotate
|
Sat, 15 Dec 2012 14:26:37 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 15 Dec 2012 12:55:11 +0100 |
wenzelm |
explicit text_fold markup, which is used by default in Pretty.chunks/chunks2;
|
file |
diff |
annotate
|
Sat, 15 Dec 2012 12:28:37 +0100 |
wenzelm |
fold main goal;
|
file |
diff |
annotate
|
Sat, 15 Dec 2012 12:16:16 +0100 |
wenzelm |
fold handling within Pretty_Text_Area, based on formal document content, which is static here;
|
file |
diff |
annotate
|
Fri, 14 Dec 2012 12:09:08 +0100 |
wenzelm |
more formal class Command.Results;
|
file |
diff |
annotate
|
Thu, 13 Dec 2012 17:46:33 +0100 |
wenzelm |
include command results in tooltip as well;
|
file |
diff |
annotate
|
Thu, 13 Dec 2012 17:29:23 +0100 |
wenzelm |
more careful handling of Dialog_Result, with active area and color feedback;
|
file |
diff |
annotate
|
Thu, 13 Dec 2012 13:52:18 +0100 |
wenzelm |
identify dialogs via official serial and maintain as result message;
|
file |
diff |
annotate
|
Wed, 12 Dec 2012 23:36:07 +0100 |
wenzelm |
rendering of selected dialog_result as active_result_color, depending on dynamic command status in output panel, but not static popups etc.;
|
file |
diff |
annotate
|
Wed, 12 Dec 2012 21:50:42 +0100 |
wenzelm |
support dialog via document content;
|
file |
diff |
annotate
|
Mon, 10 Dec 2012 13:52:33 +0100 |
wenzelm |
generalized notion of active area, where sendback is just one application;
|
file |
diff |
annotate
|
Mon, 26 Nov 2012 16:16:47 +0100 |
wenzelm |
more general sendback properties;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 21:10:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 20:59:32 +0100 |
wenzelm |
renamed main plugin object to PIDE;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 19:55:42 +0100 |
wenzelm |
tuned file name;
|
file |
diff |
annotate
| base
|