Due to a ransomware attack, the wiki was reverted to a July 2022 version. . We apologize for the lack of a more recent valid backup.
...
Further Topics
| Info |
|---|
to be documented |
- Some notes on conventions and assumptions
- Websocket communication
- Defining key-bindings
- Creating and using "fly-in" panels
- Defining custom "glyphs"
...