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