4 ms·

There's a tool called JavE, which was quite good 13 years ago: http://www.jave.de/developer/milestone6rc2.html http://www.jave.de/developer/milestone6rc2.html

by numen 4y ago

There's a tool called JavE, which was quite good 13 years ago: http://www.jave.de/developer/milestone6rc2.html http://www.jave.de/developer/milestone6rc2.html While it is quite feature-packed, its character set is limited to actual ASCII.