ViewManager/ViewManager.py

branch
5_1_x
changeset 1548
3be153fa3060
parent 1510
e75ecf2bd9dd
--- a/ViewManager/ViewManager.py	Fri Jan 13 18:31:27 2012 +0100
+++ b/ViewManager/ViewManager.py	Sat Jan 14 15:10:25 2012 +0100
@@ -3099,7 +3099,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.
@@ -3119,12 +3119,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