Preferences/ConfigurationDialog.py

changeset 4917
682750cc7bd5
parent 4875
4ee26909ac0d
child 5389
9b1c800daff3
equal deleted inserted replaced
4915:8081031061a2 4917:682750cc7bd5
908 self.__expandedEntries.append(pageName) 908 self.__expandedEntries.append(pageName)
909 909
910 def isUsingWebEngine(self): 910 def isUsingWebEngine(self):
911 """ 911 """
912 Public method to get an indication, if QtWebEngine is being used. 912 Public method to get an indication, if QtWebEngine is being used.
913
914 @return flag indicating the use of QtWebEngine
915 @rtype bool
913 """ 916 """
914 return self.__webEngine or \ 917 return self.__webEngine or \
915 self.displayMode == ConfigurationWidget.WebBrowserMode 918 self.displayMode == ConfigurationWidget.WebBrowserMode
916 919
917 920

eric ide

mercurial