[Bug 1041116] New: Texstudio GUI broken in Gnome