A patch for https://sourceforge.net/p/jedit/plugin-bugs/1772/
Hi Guys, Have you had a chance to look at this ?
Applied in trunk, thanks
Log in to post a comment.
Hi Guys, Have you had a chance to look at this ?
Applied in trunk, thanks