jbah.skp/mintmenu
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Don't set window decorations

Browse Source 
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).
This commit is contained in:
Clement Lefebvre 2018-05-31 12:56:16 +01:00
parent 45faa83e52
commit 9f22254425
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
usr/lib/linuxmint/mintMenu/mintMenu.py
View File

@ -57,9 +57,6 @@ class MainWindow( object ):
builder = Gtk.Builder() builder = Gtk.Builder()
builder.add_from_file(os.path.join( self.path, "mintMenu.glade" )) builder.add_from_file(os.path.join( self.path, "mintMenu.glade" ))
self.window = builder.get_object( "mainWindow" ) 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" ) self.paneholder = builder.get_object( "paneholder" )
builder.connect_signals(self) builder.connect_signals(self)