ViewManager/ViewManager.py

changeset 1546
240f55bb6e26
parent 1520
25d97c7ea897
child 1754
4e2f87d03546
--- a/ViewManager/ViewManager.py	Fri Jan 13 18:30:27 2012 +0100
+++ b/ViewManager/ViewManager.py	Sat Jan 14 15:10:25 2012 +0100
@@ -3651,7 +3651,7 @@
             
         self.__setSbFile()
         
-    def openSourceFile(self, fn, lineno=None, filetype="",
+    def openSourceFile(self, fn, lineno=-1, filetype="",
                        selStart=0, selEnd=0, pos=0):
         """
         Public slot to display a file in an editor.
@@ -3671,12 +3671,12 @@
             self._modificationStatusChanged(editor.isModified(), editor)
         self._checkActions(editor)
         
-        if lineno is not None and lineno >= 0:
+        if lineno >= 0:
             editor.ensureVisibleTop(lineno)
             editor.gotoLine(lineno, pos)
-        
-        if selStart != selEnd:
-            editor.setSelection(lineno - 1, selStart, lineno - 1, selEnd)
+            
+            if selStart != selEnd:
+                editor.setSelection(lineno - 1, selStart, lineno - 1, selEnd)
         
         # insert filename into list of recently opened files
         self.addToRecentList(fn)

eric ide

mercurial