Editor Upgrades

We’ve made some upgrades on the editor. It now has selectable themes, control of font size, and improved appearance. Also we’ve fixed a bug with the undo function, and with orphaned brackets.

https://useq.emutelabinstruments.co.uk/