Running gnome-terminal on Unity7 selecting "Preferences" a second time raises the Preferences window.
But in miral-shell I see no handle_raise_window() in --window-management-trace. Which implies that mir_window_raise() isn't being called by the toolkit.
I *think* this is gtk-mir.
Running gnome-terminal on Unity7 selecting "Preferences" a second time raises the Preferences window.
But in miral-shell I see no handle_ raise_window( ) in --window- management- trace. Which implies that mir_window_raise() isn't being called by the toolkit.