@Sebastien
There is nothing to be reported about. Gnome provides a gsettings key to change that. Why don't you change the default behavior for Ubuntu?
@Sebastien
There is nothing to be reported about. Gnome provides a gsettings key to change that. Why don't you change the default behavior for Ubuntu?