GitLab

This takes the form of a little bookmark icon to the right of the file
browser icon. Just the plain icon indicates that the current directory
hasn't been bookmarked yet, and that clicking on it will bookmark it.
If you do this, a little red cross appears on the icon, which reminds
you that the directory has been bookmarked, and that clicking on the
icon will remove the bookmark again.

Note that in general a directory may have been bookmarked multiple
times, by using the keyboard shortcut (Ctrl-D). In this case the red
cross will stick until the last instance of the bookmark has been
removed.

The icons come from the Manjaro KDE Breath theme (a variation of the
KDE Breeze theme), and we also replaced the folder icon with a matching
icon from the same theme. Thanks are due to the Manjaro and KDE teams!

While we were at it, we also fixed the vertical alignment of the icons
with respect to the search field, they are properly aligned to the
middle now.

add an alert system that notifies the user of the existence of unsaved edited instances of the abstraction he is editing or about to edit

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

Changes in the search path (prefs dialog) don't really need a relaunch of the application to take effect, change the tooltips in the translations accordingly.

Fix up misleading tooltips for the Ok/Apply/Close buttons of the Preferences dialog. These apply to the prefs dialog as a whole, not just to the audio properties.

port moonlib/mknob, and fix an iemgui dialog bug with empty strings not getting changed to zeroes for numeric fields

This automatically picks the right zoom level to make the patch fill the window as much as possible. Also fixes a missing call to pdgui.gui_canvas_get_scroll in the m.view.zoomreset menu command which caused the viewport not to be updated properly after resetting the zoom level in canvas windows.