jEdit

This is just a short note. I couldn’t go much further without recommending my key tool without which I could not live. That is jEdit with a variety of plugins. By itself, jEdit is an excellent little text editor. With … Read More