Editor fixes

Fixes:
 - Use TextTag to highlight a search text
 - Use a class only for gtksourceview2.View

Bugs:
 - Replace, is doesn't working
 - Capitalization option (in search), doesn't work good.

Signed-off-by: Agustin Zubiaga <aguz@sugarlabs.org>

1 files changed, 3 insertions, 10 deletions

diff --git a/develop-activity/develop_app.py b/develop-activity/develop_app.py
index e233d83..aa3b5c6 100644
--- a/develop-activity/develop_app.py
+++ b/develop-activity/develop_app.py
@@ -746,12 +746,7 @@ class DevelopSearchToolbar(gtk.Toolbar):
             self._findnext.set_sensitive(True)
             if not self.s_opts.use_regex:
                 #do not do partial searches for regex
-                if self._activity.editor.find_next(text,
-                                SearchOptions(self.s_opts,
-                                              stay=True,
-                                where=(self.s_opts.where if
-                                       self.s_opts.where != S_WHERE.multifile
-                                       else S_WHERE.file))):
+                if self._activity.editor.find_next(text):
                     #no multifile, or focus gets grabbed
                     self._replace_button.set_sensitive(True)
 
@@ -762,15 +757,13 @@ class DevelopSearchToolbar(gtk.Toolbar):
     def _findprev_cb(self, button=None):
         ftext = self._search_entry.props.text
         if ftext:
-            if self._activity.editor.find_next(ftext,
-                                               SearchOptions(self.s_opts,
-                                                             forward=False)):
+            if self._activity.editor.find_next(ftext, direction='backward'):
                 self._replace_button.set_sensitive(True)
 
     def _findnext_cb(self, button=None):
         ftext = self._search_entry.props.text
         if ftext:
-            if self._activity.editor.find_next(ftext, self.s_opts):
+            if self._activity.editor.find_next(ftext, direction='forward'):
                 self._replace_button.set_sensitive(True)
 
     # bad paul! this function was copied from sugar's activity.py via Write