| Tue, 19 Nov 2024 15:46:22 +0100 |
wenzelm |
clarified signature: avoid implicit functionality;
|
file |
diff |
annotate
|
| Tue, 19 Nov 2024 15:25:11 +0100 |
wenzelm |
re-use Output_Area;
|
file |
diff |
annotate
|
| Tue, 19 Nov 2024 10:14:22 +0100 |
wenzelm |
more thorough init;
|
file |
diff |
annotate
|
| Tue, 19 Nov 2024 10:11:37 +0100 |
wenzelm |
clarified signature: prefer defaults for Output_Dockable (and its variants);
|
file |
diff |
annotate
|
| Mon, 18 Nov 2024 12:36:56 +0100 |
wenzelm |
Output_Dockable: show search results as tree view;
|
file |
diff |
annotate
|
| Mon, 18 Nov 2024 11:12:51 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 18 Nov 2024 11:06:53 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 17 Nov 2024 20:14:57 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 17 Nov 2024 19:49:25 +0100 |
wenzelm |
more operations, to support search within output panel;
|
file |
diff |
annotate
|
| Sat, 16 Nov 2024 15:04:41 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 14 Nov 2024 10:50:49 +0100 |
wenzelm |
more careful isConsumed() / consume() for key and mouse events;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2024 13:22:59 +0100 |
wenzelm |
more uniform pretty_text_area.zoom via its zoom_component;
|
file |
diff |
annotate
|
| Wed, 06 Nov 2024 16:07:30 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 06 Nov 2024 15:38:45 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 04 Nov 2024 12:58:05 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
| base
|