[Bug 1041116] Texstudio GUI broken in Gnome