[meld] Remove rarely-used "Hide" and "Case" toggles from the toolbar

[Kai Willadsen <kaiw src gnome org>]

commit 3b24e07f65e8d5bd561c4925a487e15a64ce941a
Author: Kai Willadsen <kai willadsen gmail com>
Date:   Sat Jun 2 15:05:25 2012 +1000

    Remove rarely-used "Hide" and "Case" toggles from the toolbar
    
    This commit removes the "Hide" and "Case" (case insensitive comparison)
    toggles from the toolbar. This is mostly because they're not a common
    use case, and so don't belong there, but also because they're not
    sufficiently easy to explain, and have no commonly recognisable icon.

 data/ui/dirdiff-ui.xml |    3 ---
 meld/dirdiff.py        |    2 +-
 2 files changed, 1 insertions(+), 4 deletions(-)
---
diff --git a/data/ui/dirdiff-ui.xml b/data/ui/dirdiff-ui.xml
index 19803af..83af0a4 100644
--- a/data/ui/dirdiff-ui.xml
+++ b/data/ui/dirdiff-ui.xml
@@ -31,9 +31,6 @@
       <toolitem action="DirCopyLeft" />
       <toolitem action="DirCopyRight" />
       <toolitem action="DirDelete" />
-      <separator/>
-      <toolitem action="Hide" />
-      <toolitem action="IgnoreCase" />
     </placeholder>
     <placeholder name="FilterActions">
       <toolitem action="ShowSame" />
diff --git a/meld/dirdiff.py b/meld/dirdiff.py
index f001ae1..4d2f0b4 100644
--- a/meld/dirdiff.py
+++ b/meld/dirdiff.py
@@ -254,7 +254,7 @@ class DirDiff(melddoc.MeldDoc, gnomeglade.Component):
         self.create_text_filters()
         app.connect("text-filters-changed", self.on_text_filters_changed)
         for button in ("DirCompare", "DirCopyLeft", "DirCopyRight",
-                       "DirDelete", "Hide", "IgnoreCase", "ShowSame",
+                       "DirDelete", "ShowSame",
                        "ShowNew", "ShowModified", "CustomFilterMenu"):
             self.actiongroup.get_action(button).props.is_important = True
         self.map_widgets_into_lists(["treeview", "fileentry", "scrolledwindow",