| 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 |
| Sun, 17 Nov 2024 20:14:57 +0100 | wenzelm | clarified signature; | changeset | files |
| Sun, 17 Nov 2024 19:59:10 +0100 | wenzelm | clarified signature and modules: without GUI change yet; | changeset | files |