I'm stuck. I don't know what to do. After years of being very satisfied with jEdit 4.1 (I once upgraded to 4.2 but went back to 4.1 because it had had various features that I liked removed), my need for support for PHP5 syntax finally prompted me to try upgrading to jEdit 4.3. I'm baffled - it seems to be several steps down from 4.1. 4.1 was great: I'd select a plug-in, download it, and it would just work straight away. However, this time:
- the XML plugin is behaving extremely erratically. It won't autoclose tags for me, doesn't pop up the autocomplete menu, and it only says anything is allowed at the caret position after I've already placed the opening '<'.
- the CodeBrowser plugin identifies classes, functions, etc, but doesn't allow me to jump to them - making it essentially useless.
- jEdit doesn't seem to remember all my settings any more: I like to have a search bar at the top of the screen, but I have to open it from the menu every time with 4.3. Likewise, BufferTabs is erratic - sometimes it remembers to open, sometimes it doesn't and I have to open it.
- the jEdit Launcher thing is gone. Why? What possible reason could there be for reducing jEdit's functionality like that? I know this went in 4.2 - it was one of the reasons I went back to 4.1 - but I'd hoped that, like the soft-wrap thing, someone would put it back in 4.3. What logic is there to removing features as you go along?
...So now I'm stuck. I don't know what to do. I'm so used to and comfortable with jEdit that the idea of trying to find (and start from scratch with) an alternative is boring beyond belief, but as it stands, no version of jEdit (4.1, 4.2, or 4.3) seems to meet my (surely not particularly avant-garde) needs - ie. editing PHP5 code and HTML. Can anyone help me fix the problems above? Or, better still, does anyone have a PHP5 edit mode for jEdit 4.1?