I had some time today to finish some Reinteract features I’ve been working on over the last few weeks, namely completion and mouse-over tooltips on the editor contents. Some screenshots:
Completion
Tooltip showing documentation
Tooltip showing variable contents
The majority of features in my completion design notes are now implemented. (The design took the bold and innovative approach [...]
