ViewManager/ViewManager.py

changeset 2215
5b49d2731fa3
parent 2214
4ce1ebcc3806
child 2217
e80c74f2a25a
--- a/ViewManager/ViewManager.py	Sat Nov 10 19:18:05 2012 +0100
+++ b/ViewManager/ViewManager.py	Sat Nov 10 19:33:12 2012 +0100
@@ -2798,6 +2798,8 @@
         tb.addAction(self.searchAct)
         tb.addAction(self.searchNextAct)
         tb.addAction(self.searchPrevAct)
+        tb.addAction(self.searchNextWordAct)
+        tb.addAction(self.searchPrevWordAct)
         tb.addSeparator()
         tb.addAction(self.searchClearMarkersAct)
         tb.addSeparator()

eric ide

mercurial