removed jsr305 which is incompatible with Java module system
Ok, maybe if we start using modules in jEdit we could fix that, however to do that we have to remove the jsr305 lib as it was never confirmed it uses packages of JRE which is forbidden
Hey Robert, can you try to add --add-opens java.desktop/java.awt=ALL-UNNAMED --add-opens java.base/java.lang=ALL-UNNAMED to the java args in your command line ? I agree even if it works it is not ideal.
Hey, you mean our header files states Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. instead of Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. which seems to be the new address (found it here https://www.gnu.org/licenses/old-licenses/gpl-2.0.html ) ?
Add some unit test for #4125
refactor plugin list loading and use new JRE http client
Introduce a SystemManager to encapsulate environment manipulation and make unit tests possible.
Hey, I feel github much more efficient to navigate and use in git repositories, bugtrackers. Github is centered on the developper while sourceforge is on the project. For example if jEdit was on github, then I think we should not commit directly to the project. Just I would do a fork in my user space (that is public), you would do the same, Alan too and any developper who is interested in jEdit's development too. Then I would create a branch for my changes, and when I am satisfied I would submit...