I think that it's time for another release of the desktop app. This one has been cut from the latest git + !766 (merged) + !771 (merged), so in particular it includes all the latest bugfixes and improvements to the GUI presets, as well as arm64 support for Debian/Ubuntu.
ChangeLog:
- incremental search in the help browser (Gabriela Bittencourt)
- new
declare -zoomoption, useful for teaching (AG) -
pddplinknow accepts a symbol on its 1st inlet, looses its superfluous outlet (AG) - major cleanup of the GUI presets, especially the dark ones work much better now (JW)
- arm64 support for the OBS Debian/Ubuntu builds (AG)