Set of commits to be tagged 0.19.1

Changelog

Bugfixes

• tag selector was inactive until tag filter was interacted with
• stepping forward or backward with arrow keys was ineffective and triggered warnings
• the "edited" label was not added where expected on saving to file

Opt-in features

With NyxWidgets 0.2, the file browser can feature additional buttons including new directory creation, file download and file removal. These features are not activated by default and cannot be activated with command-line options.

Script larvatagger-gui.jl admits option --server-url to serve content behind a proxy server.