From 0ab56fb1892ef7b1142b926be92cd79cffa8471a Mon Sep 17 00:00:00 2001
From: Nikos Kouremenos <kourem@gmail.com>
Date: Mon, 31 Oct 2005 21:28:39 +0000
Subject: [PATCH] hide filter hbox; maybe someday

---
 src/gtkgui.glade      | 2 +-
 src/history_window.py | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/gtkgui.glade b/src/gtkgui.glade
index 2c85fe7c6..3dd62b962 100644
--- a/src/gtkgui.glade
+++ b/src/gtkgui.glade
@@ -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>
diff --git a/src/history_window.py b/src/history_window.py
index 7bbb946c1..d935ee96a 100644
--- a/src/history_window.py
+++ b/src/history_window.py
@@ -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')