User Activity
-
Posted
a comment
on
ticket #4111
on
jEdit
There is an old Windows launcher (contained in jedit403install.jar) that lets you choose your JRE after installation by calling jedinit.exe or setting paths directly in the registry under HKCU\SOFTWARE\www.jedit.org\jEditLauncher\4.0 . It still works with Windows 10 and Java 16.
-
Posted
a comment
on
ticket #3971
on
jEdit
The syntax has been changed twice. First to --add-exports=java.desktop/sun.awt.X11=ALL-UNNAMED...
-
Created
ticket #1870
on
jEdit
XML Schema attributes halt validation (regression)
-
Posted
a comment
on
ticket #1853
on
jEdit
Thank you very much, Eric!
-
Modified
a comment
on
ticket #1853
on
jEdit
XML plugin startup initializes the internal jEdit XML resolver. That in turn triggers...
-
Posted
a comment
on
ticket #1853
on
jEdit
Just to be perfectly clear: This is a bug and it has been for 17 years. The only...
-
Modified
a comment
on
ticket #1853
on
jEdit
XML plugin startup initializes the internal jEdit XML resolver. That in turn triggers...
-
Posted
a comment
on
ticket #1853
on
jEdit
XML plugin startup initializes the XML resolver. That in turn triggers the URL stream...
Personal Data
- Username:
- will69
- Joined:
- 2006-06-23 21:25:32
Projects
- No projects to display.
