GUI Dialog widget and minor changes
Authored by: berndspeiser 2024-07-14
Parent: [r835]
Child: [r837]