| Mon, 18 Nov 2024 16:48:11 +0100 | wenzelm | tuned output: formatting is pointless for proportional font; | changeset | files |
| Mon, 18 Nov 2024 15:05:31 +0100 | wenzelm | clarified Tree_View.init_model: more uniform; | changeset | files |
| Mon, 18 Nov 2024 14:47:17 +0100 | wenzelm | more robust update; | changeset | files |
| Mon, 18 Nov 2024 14:35:48 +0100 | wenzelm | handle tree selection; | changeset | files |
| Mon, 18 Nov 2024 12:36:56 +0100 | wenzelm | Output_Dockable: show search results as tree view; | changeset | files |
| Mon, 18 Nov 2024 11:12:51 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 18 Nov 2024 11:06:53 +0100 | wenzelm | clarified signature; | changeset | files |