Remove unused pref widget helpers
Review Request #2406 — Created March 31, 2023 and submitted — Latest diff uploaded
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.