UI/BrowserSortFilterProxyModel.py

changeset 3702
dabc69b82c7c
parent 3656
441956d8fce5
child 4021
195a471c327b
equal deleted inserted replaced
3701:864226db1abe 3702:dabc69b82c7c
107 Public slot called to handle a change of the preferences settings. 107 Public slot called to handle a change of the preferences settings.
108 """ 108 """
109 hideNonPublic = Preferences.getUI("BrowsersHideNonPublic") 109 hideNonPublic = Preferences.getUI("BrowsersHideNonPublic")
110 if self.hideNonPublic != hideNonPublic: 110 if self.hideNonPublic != hideNonPublic:
111 self.hideNonPublic = hideNonPublic 111 self.hideNonPublic = hideNonPublic
112 self.filterChanged() 112 self.invalidateFilter()

eric ide

mercurial