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() |