WebBrowser/WebBrowserView.py

changeset 6126
6c4509eceea2
parent 6122
e7d98249f393
child 6141
f4cecd941096
equal deleted inserted replaced
6125:bb1c79bf4f33 6126:6c4509eceea2
1228 1228
1229 def __webInspector(self): 1229 def __webInspector(self):
1230 """ 1230 """
1231 Private slot to show the web inspector window. 1231 Private slot to show the web inspector window.
1232 """ 1232 """
1233 if self.__inspector is None: 1233 from .WebInspector import WebInspector
1234 from .WebInspector import WebInspector 1234 if WebInspector.isEnabled():
1235 self.__inspector = WebInspector() 1235 if self.__inspector is None:
1236 self.__inspector.setView(self, True) 1236 self.__inspector = WebInspector()
1237 self.__inspector.show() 1237 self.__inspector.setView(self, True)
1238 else: 1238 self.__inspector.inspectorClosed.connect(
1239 self.closeWebInspector() 1239 self.closeWebInspector)
1240 self.__inspector.show()
1241 else:
1242 self.closeWebInspector()
1240 1243
1241 def closeWebInspector(self): 1244 def closeWebInspector(self):
1242 """ 1245 """
1243 Public slot to close the web inspector. 1246 Public slot to close the web inspector.
1244 """ 1247 """

eric ide

mercurial