Uwe Kindler 4a6d2d3514 Changed demos to delete the dock manager when the main window is closes to ensure that all floating widgets als "closed" (destroyed)

2020-07-22 11:28:41 +02:00

2.3 KiB

Raw Blame History

View Raw