WebBrowser/WebBrowserView.py

changeset 5195
a282431c01fc
parent 5194
4750c83cc718
child 5389
9b1c800daff3
equal deleted inserted replaced
5194:4750c83cc718 5195:a282431c01fc
165 if newTab: 165 if newTab:
166 # open in a new tab 166 # open in a new tab
167 self.__mw.newTab(name) 167 self.__mw.newTab(name)
168 return 168 return
169 169
170 if not name.scheme() and not os.path.exists(name.toString()): 170 if not name.scheme():
171 name.setScheme(Preferences.getWebBrowser("DefaultScheme")) 171 if not os.path.exists(name.toString()):
172 else: 172 name.setScheme(Preferences.getWebBrowser("DefaultScheme"))
173 if Utilities.isWindowsPlatform():
174 name.setUrl("file:///" + Utilities.fromNativeSeparators(
175 name.toString()))
176 else: 173 else:
177 name.setUrl("file://" + name.toString()) 174 if Utilities.isWindowsPlatform():
175 name.setUrl("file:///" + Utilities.fromNativeSeparators(
176 name.toString()))
177 else:
178 name.setUrl("file://" + name.toString())
178 179
179 if len(name.scheme()) == 1 or \ 180 if len(name.scheme()) == 1 or \
180 name.scheme() == "file": 181 name.scheme() == "file":
181 # name is a local file 182 # name is a local file
182 if name.scheme() and len(name.scheme()) == 1: 183 if name.scheme() and len(name.scheme()) == 1:

eric ide

mercurial