4 ms·
This appears to be very similar to scope highlighting like what's used in BlueJ [1] and EditBox [2], but manipulable [1]: https://www.bluej.org/about.html http
by relyks 9y ago
This appears to be very similar to scope highlighting like what's used in BlueJ [1] and EditBox [2], but manipulable
[1]: https://www.bluej.org/about.html https://www.bluej.org/about.html
[2]: http://editbox.sourceforge.net/ http://editbox.sourceforge.net/
- omaranto 9y agoIn the case of BlueJ this is not surprising: it's made by the same people and in fact this frame-based editor has been incorporated into BlueJ (this is mentioned briefly in the paper).