QScintilla/Editor.py

changeset 156
478787b5607e
parent 155
375e3c884874
child 158
6a561f87bc07
diff -r 375e3c884874 -r 478787b5607e QScintilla/Editor.py
--- a/QScintilla/Editor.py	Fri Mar 26 15:43:36 2010 +0000
+++ b/QScintilla/Editor.py	Fri Mar 26 15:57:07 2010 +0000
@@ -5510,10 +5510,11 @@
         """
         Private slot to handle a change of the selection.
         """
-        sel = self.getSelection()
-        if sel != self.__lastSelection:
-            self.send(Editor.SelectionToken, args = sel)
-            self.__lastSelection = sel
+        if self.vm.isConnected():
+            sel = self.getSelection()
+            if sel != self.__lastSelection:
+                self.send(Editor.SelectionToken, args = sel)
+                self.__lastSelection = sel
     
     def __processSelectionCommand(self, argsString):
         """

eric ide

mercurial