Kiln » TortoiseHg » TortoiseHg
Clone URL:  
Pushed to one repository · View In Graph Contained in 0.9, 0.9.1, and 0.9.1.1

history: remove the space at left of menu button

Changeset 4f896f663931…

Parent 6fbf2be56f2e…

by Yuki KODAMA

Changes to one file · Browse files at 4f896f663931 Showing diff from parent 6fbf2be56f2e Diff from another changeset...

Change 1 of 1 Show Entire File hggtk/​history.py Stacked
 
594
595
596
597
598
599
600
601
 
 
602
603
604
 
594
595
596
 
 
 
 
 
597
598
599
600
601
@@ -594,11 +594,8 @@
    vmenu = gtk.MenuToolButton('')   vmenu.set_menu(self.view_menu()) - # A MenuToolButton has two parts; a Button and a ToggleButton - # we want to see the togglebutton, but not the button - b = vmenu.child.get_children()[0] - b.unmap() - b.set_sensitive(False) + # hide the Button widget; we want to see only Menu button + gobject.idle_add(lambda: vmenu.child.get_children()[0].hide())     tbar = self.changeview.get_tbbuttons()   tbar += [sep, self.nextbutton, self.allbutton, vmenu]