Nico Verbruggen 4855c14d28 ♻️ Refactor Preferences & PreferenceName ...

Also added a few new preferences related to toggling specific menu items
based on your personal choices.

(These new settings still need to be added to the UI.)

2022-09-07 20:33:23 +02:00

..

xcshareddata/xcschemes

🔧 Make PHP Doctor optional (preference)

2022-08-13 23:16:10 +02:00

project.pbxproj

♻️ Refactor Preferences & PreferenceName

2022-09-07 20:33:23 +02:00