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

stable history: replace custom filter label with tooltip

Saves some horizontal space that may be needed for translated labels.

Changeset 1037a39a6f41…

Parent d72d0c6765e4…

by Wagner Bruna

Changes to one file · Browse files at 1037a39a6f41 Showing diff from parent d72d0c6765e4 Diff from another changeset...

Change 1 of 1 Show Entire File tortoisehg/​hgtk/​history.py Stacked
 
1025
1026
1027
1028
 
 
 
1029
1030
1031
 
1025
1026
1027
 
1028
1029
1030
1031
1032
1033
@@ -1025,7 +1025,9 @@
  filterbox.append_widget(branchcombo, padding=0)   self.branchcombo = branchcombo   - self.custombutton = gtk.RadioButton(all, _('Custom')) + self.custombutton = gtk.RadioButton(all) + self.custombutton.set_property('tooltip-text', _('custom filter')) + self.custombutton.set_property('has-tooltip', True)   self.custombutton.set_sensitive(False)   filterbox.append_widget(self.custombutton, padding=0)