hide filter hbox; maybe someday
This commit is contained in:
parent
3e237801c9
commit
0ab56fb189
|
@ -9354,7 +9354,7 @@ Custom</property>
|
|||
</child>
|
||||
|
||||
<child>
|
||||
<widget class="GtkHBox" id="hbox2996">
|
||||
<widget class="GtkHBox" id="filter_hbox">
|
||||
<property name="visible">True</property>
|
||||
<property name="homogeneous">False</property>
|
||||
<property name="spacing">6</property>
|
||||
|
|
|
@ -56,6 +56,12 @@ class HistoryWindow:
|
|||
self.forward_button = xml.get_widget('forward_button')
|
||||
self.latest_button = xml.get_widget('latest_button')
|
||||
self.filter_entry = xml.get_widget('filter_entry')
|
||||
|
||||
# FIXME: someday..
|
||||
filter_hbox = xml.get_widget('filter_hbox')
|
||||
filter_hbox.hide()
|
||||
filter_hbox.set_no_show_all(True)
|
||||
|
||||
xml.signal_autoconnect(self)
|
||||
|
||||
tag = self.history_buffer.create_tag('incoming')
|
||||
|
|
Loading…
Reference in New Issue