From be350cb101db5ce084e292256bd32dd5e9dac3f0 Mon Sep 17 00:00:00 2001
From: Carey Underwood <cwillu@applicati.(none)>
Date: Fri, 20 Nov 2009 11:11:58 -0600
Subject: [PATCH] Switch default to case-insensitive filtering, and toggle it
 for search filters according to the original search

---
 proper_editing.py | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/proper_editing.py b/proper_editing.py
index 52afae9..6e33e63 100644
--- a/proper_editing.py
+++ b/proper_editing.py
@@ -20,6 +20,7 @@
 
 import gedit
 import gtk
+import gtksourceview2
 
 import re
 import bisect
@@ -107,9 +108,10 @@ def fold(buffer):
 class Actions(gedit.Plugin):
   def Afold_from_search(self, action, window):
     view = window.get_active_view()
+    document = window.get_active_document()    
     buffer = view.get_buffer()
 
-    search, flags = buffer.get_search_text()
+    search, flags = document.get_search_text()
     if not search or search == window.get_data("SearchFold")['search']:
       if weird.folded(buffer):
         return self.Aunfold(action, window)
@@ -126,12 +128,17 @@ def Afold_from_search(self, action, window):
 
         search, flags = buffer.get_text(left, right), 0
 
+    if flags & 0b100:
+      flags = 0
+    else:
+      flags = gtksourceview2.SEARCH_CASE_INSENSITIVE
+
     window.set_data("SearchFold", {'search': search})
 
     start = buffer.get_start_iter()
     start.set_line_offset(0)
     while start:
-      hit = start.forward_search(search, 0)
+      hit = gtksourceview2.iter_forward_search(start, search, flags)
       if hit:
         hit[0].set_line_offset(0)
         hit[1].forward_line()