add fallback for missing user-prefs

Edirom / Edirom-Online

Edirom Online is a tool for presenting historical-critical music editions in digital form.

GNU General Public License v3.0

19 stars 18 forks source link

Closed riedde closed 2 months ago

riedde commented 2 months ago

When no preferences are found an error occurs. The Edirom then should use the default preferences.