diff options
| author | Gonzalo Odiard <godiard@gmail.com> | 2014-02-04 19:47:29 (GMT) |
|---|---|---|
| committer | Gonzalo Odiard <godiard@gmail.com> | 2014-02-04 19:47:29 (GMT) |
| commit | 7a3e1f28f0826edbed3d380ef1c215935578f3e3 (patch) | |
| tree | dfdcd45a3e4b3930ba6c57a9f8657f837045f63d /develop-activity | |
| parent | 1adf61ae717e1d8d1c22a4b79c5738ff99ea48e3 (diff) | |
Comment advanced search options and replace because are not working
Diffstat (limited to 'develop-activity')
| -rw-r--r-- | develop-activity/develop_app.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/develop-activity/develop_app.py b/develop-activity/develop_app.py index 3c25522..83d413a 100644 --- a/develop-activity/develop_app.py +++ b/develop-activity/develop_app.py @@ -657,6 +657,7 @@ class DevelopSearchToolbar(gtk.Toolbar): self._findnext.show() self._findnext.connect('clicked', self._findnext_cb) + """ self._settings = ToolButton(CAP_ICONS[self.s_opts.ignore_caps]) self._settings.set_tooltip(_('Search settings')) self.insert(self._settings, -1) @@ -731,6 +732,7 @@ class DevelopSearchToolbar(gtk.Toolbar): menuitem.connect('activate', function, options) palette.menu.append(menuitem) menuitem.show() + """ self._activity.editor.connect('changed', self._changed_cb) |