QScintilla/Editor.py

changeset 6092
f0d60c3de700
parent 6081
7ea61bd1aa23
child 6097
bf18415da0c7
child 6099
a7fecbc392d7
--- a/QScintilla/Editor.py	Thu Jan 25 17:21:00 2018 +0100
+++ b/QScintilla/Editor.py	Thu Jan 25 17:47:09 2018 +0100
@@ -1231,7 +1231,7 @@
                 self.tr('Previous change'), self.previousChange)
         self.marginMenuActs["ClearChangeMarkers"] = \
             self.indicMarginMenu.addAction(
-                self.tr('Clear changes'), self.__deleteAllChangeMarkers)
+                self.tr('Clear changes'), self.__reinitOnlineChangeTrace)
         
         self.indicMarginMenu.aboutToShow.connect(self.__showContextMenuMargin)
         
@@ -1302,7 +1302,7 @@
                 self.tr('Previous change'), self.previousChange)
         self.marginMenuActs["ClearChangeMarkers"] = \
             self.marginMenu.addAction(
-                self.tr('Clear changes'), self.__deleteAllChangeMarkers)
+                self.tr('Clear changes'), self.__reinitOnlineChangeTrace)
         self.marginMenu.addSeparator()
         self.marginMenuActs["LMBbookmarks"] = self.marginMenu.addAction(
             self.tr('LMB toggles bookmarks'), self.__lmBbookmarks)

eric ide

mercurial