Definitive fix for tools getting behind main window, specially if they were created first in a docked state and later became floaters. This is practically a part 2 of pull request #83.
Also: some tools were not closing when main window was closed because they are set to not destruct and event->ignore()'ing close events, which interrupts the process of application shutdown and let them in a weird zombie state.
So now we hide() all of them individually when closing the main window. That seems to do the trick.
Definitive fix for tools getting behind main window, specially if they were created first in a docked state and later became floaters. This is practically a part 2 of pull request #83.
Also: some tools were not closing when main window was closed because they are set to not destruct and
event->ignore()'ing close events, which interrupts the process of application shutdown and let them in a weird zombie state.So now we
hide()all of them individually when closing the main window. That seems to do the trick.