| Tue, 31 Jan 2023 18:03:27 +0100 | wenzelm | clarified GUI events: ensure fresh output when switching pages; | changeset | files |
| Tue, 31 Jan 2023 17:46:16 +0100 | wenzelm | clarified GUI: avoid odd jumping pages on "Cancel"; | changeset | files |
| Tue, 31 Jan 2023 17:35:59 +0100 | wenzelm | clarified GUI events; | changeset | files |
| Tue, 31 Jan 2023 17:21:46 +0100 | wenzelm | more accurate output: avoid output_body from last run; | changeset | files |
| Tue, 31 Jan 2023 17:17:07 +0100 | wenzelm | more accurate output: avoid output_main from last run; | changeset | files |
| Tue, 31 Jan 2023 17:08:16 +0100 | wenzelm | removed unused operation from 3f50b24909df; | changeset | files |
| Tue, 31 Jan 2023 17:04:02 +0100 | wenzelm | clarified guard: avoid spurious auto builds; | changeset | files |