From 9f2225442507e66430d8461f1035756ffc4433cc Mon Sep 17 00:00:00 2001 From: Clement Lefebvre Date: Thu, 31 May 2018 12:56:16 +0100 Subject: [PATCH] Don't set window decorations This works ootb with recent GTK versions now. The workaround we used creates problems when run in HiDPI (the window is misplaced and its size is twice larger). --- usr/lib/linuxmint/mintMenu/mintMenu.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/usr/lib/linuxmint/mintMenu/mintMenu.py b/usr/lib/linuxmint/mintMenu/mintMenu.py index c71a322..2bb9678 100755 --- a/usr/lib/linuxmint/mintMenu/mintMenu.py +++ b/usr/lib/linuxmint/mintMenu/mintMenu.py @@ -57,9 +57,6 @@ class MainWindow( object ): builder = Gtk.Builder() builder.add_from_file(os.path.join( self.path, "mintMenu.glade" )) self.window = builder.get_object( "mainWindow" ) - self.window.realize() - self.window.get_window().set_decorations(Gdk.WMDecoration.BORDER) - self.window.set_title("") self.paneholder = builder.get_object( "paneholder" ) builder.connect_signals(self)