The request is for a context menu and an item in the context menu, but if you want to add an action to actions.xml that is also a good idea, since then it can be invoked from the keyboard also.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
it happens with any xml file that has an error in it.
yes, I agree, separating the formatting changes from the actual feature request would be a great idea.
Then we can test the other patch by itself and more easily figure out what is going on. sorry I didn't have time to debug it myself, I've been busy.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
bumping up the priority on this one. any volunteers?
Ok I'll have a go
Quick question as it isn't too obvious from the request, what would be the most idiomatic jEdit way of doing this ?
I was thinking either via the actions.xml or else as a right click menu on the window itself.
The request is for a context menu and an item in the context menu, but if you want to add an action to actions.xml that is also a good idea, since then it can be invoked from the keyboard also.
Created Patch
https://sourceforge.net/p/jedit/plugin-patches/163/
it happens with any xml file that has an error in it.
yes, I agree, separating the formatting changes from the actual feature request would be a great idea.
Then we can test the other patch by itself and more easily figure out what is going on. sorry I didn't have time to debug it myself, I've been busy.
Applied https://sourceforge.net/p/jedit/plugin-patches/163/ version 7.
Committed rev# 23679. Will be in ErrorList 2.3.