-
Tristan Matthews authored
Moreover, since they were children widgets of the main window and not the preferences dialog, they could be obscured while still having focus.
0c7dcba1
Moreover, since they were children widgets of the main window and not the preferences dialog, they could be obscured while still having focus.