| Thu, 21 Nov 2024 23:07:06 +0100 |
wenzelm |
more ambitious Search_Result.gui_text, using Swing HTML3 (NB: TreeCellRenderer cannot do this, because it is not updated for each entry);
|
changeset |
files
|
| Thu, 21 Nov 2024 12:47:42 +0100 |
wenzelm |
clarified signature and object initialization;
|
changeset |
files
|
| Tue, 19 Nov 2024 22:55:09 +0100 |
wenzelm |
clarified default: avoid copies;
|
changeset |
files
|
| Tue, 19 Nov 2024 22:48:18 +0100 |
wenzelm |
suppress odd icons for documents and folders;
|
changeset |
files
|
| Tue, 19 Nov 2024 22:41:57 +0100 |
wenzelm |
support for modified tree cell renderer;
|
changeset |
files
|
| Tue, 19 Nov 2024 15:46:22 +0100 |
wenzelm |
clarified signature: avoid implicit functionality;
|
changeset |
files
|
| Tue, 19 Nov 2024 15:35:03 +0100 |
wenzelm |
re-use Output_Area;
|
changeset |
files
|
| Tue, 19 Nov 2024 15:34:58 +0100 |
wenzelm |
re-use Output_Area;
|
changeset |
files
|
| Tue, 19 Nov 2024 15:25:11 +0100 |
wenzelm |
re-use Output_Area;
|
changeset |
files
|
| Tue, 19 Nov 2024 10:52:02 +0100 |
wenzelm |
re-use Output_Area with search results;
|
changeset |
files
|
| Tue, 19 Nov 2024 10:40:19 +0100 |
wenzelm |
re-use Output_Area with search results;
|
changeset |
files
|
| Tue, 19 Nov 2024 10:14:22 +0100 |
wenzelm |
more thorough init;
|
changeset |
files
|
| Tue, 19 Nov 2024 10:11:37 +0100 |
wenzelm |
clarified signature: prefer defaults for Output_Dockable (and its variants);
|
changeset |
files
|
| Tue, 19 Nov 2024 10:11:17 +0100 |
wenzelm |
unused;
|
changeset |
files
|