Today I downloaded and built “8.3.0-4-gad5f0effa” from GitHub, the instructions were flawless, it almost worked first time (I forgot some stuff) and basically I immediately tried the dark theme and it’s pretty nice, so well done and thanks whoever did that.
I also had an idea for a new feature in the editor: multiple cursors / refactor cursor: when the cursor is under a Variable within a predicate, the editor highlights all occurrences of that Variable, and I just wondered how easy/not-easy it would be to introduce a new editor function to “Rename all those vars” at once ?!!? Sure you can use Alt-% to do it but this would be easier from the UI.
If I feel brave enough I will start reading the code…