GitLab

Add labels to the device dropdowns in the MIDI setup so that the order in which devices are listed is obvious.

Help browser: Cosmetic changes in the GUI prefs, add a warning about the impact of help browser settings on startup times.

cherry-pick Albert Gräf's branch: Comment out a bunch of debugging statements which add a lot of noise to the console.

first draft of saving the preferences, including the gui preset (still won't write to file for some reason)

fixed up dialog, backported some code from Pd-Vanilla 0.46

This appears to be some complex bug with the @font-face rule in Chromium. The only surefire workaround I've found so far is to base64-encode the font and include it in a css file.