Fix a bug on GTK+ where Ctrl+D didn't work when the commander was docked
Authored by: david_costanzo 2019-07-31
Parent: [r4984]
Child: [r4986]
