JOverseer / joverseer

JOverseer is a desktop application which aims to assist players of the Middle Earth PBM game.
BSD 3-Clause "New" or "Revised" License
3 stars 5 forks source link

Remove/hide unused preferences. #697

Open GnarlyDave opened 4 years ago

GnarlyDave commented 4 years ago

Update Preference: Download pointer for updates is not used. But it stays as http: so potential source of confusion when remotely supporting http: vs https: issues. So remove it.

Also can't select label text on preference windows, which would help support too.

Slight complication with the implementation, in that the preferences view is dynamically built from the all the existing preferences in the preference registry, so you can't explicitly hide any: for example simple vs expert vs developer mode.