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 plugins it can provide a wonderful development environment. I tried test versions of a number…