Remove unused pref widget helpers
Review Request #2406 — Created March 31, 2023 and submitted
They are no longer used now that the plugin prefs are gone and other main prefs stopped using them.
Note, there are a couple references in the disabled-by-default plugins, but they need re-writing anyway.
Compiled only.
| Summary | ID |
|---|---|
| 1f088267b35cdaafb20ffcc7b2c533c1a6eba95c |
