eric6/WebBrowser/QtHelp/QtHelpDocumentationDialog.py

changeset 7235
4f23ea4af43c
parent 7231
0dcb92a9687d
child 7269
0c63ea7f94bd
equal deleted inserted replaced
7234:b20fb38a6bfc 7235:4f23ea4af43c
492 self.__engine.addCustomFilter( 492 self.__engine.addCustomFilter(
493 customFilter, self.__filterMap[customFilter]) 493 customFilter, self.__filterMap[customFilter])
494 494
495 if self.__removedAttributes: 495 if self.__removedAttributes:
496 self.__removeAttributes() 496 self.__removeAttributes()
497 497
498 self.__initFiltersTab()
499
498 def __hasChangedFilters(self): 500 def __hasChangedFilters(self):
499 """ 501 """
500 Private method to determine, if there are filter changes. 502 Private method to determine, if there are filter changes.
501 503
502 @return flag indicating the presence of filter changes 504 @return flag indicating the presence of filter changes

eric ide

mercurial