3 ms·

I love how that editor "just works" 12 years after its last release. Thanks!

• frik 11y ago
  It looks like Java 1.1 UI from 1996. But thanks for the suggestion, it might be useful.