jedit-devel

[ jEdit-devel ] [jedit:bugs] #4147 Found Vulnerability:- IDOR (Insecure Direct Object Reference)

[Eric Le L. <ker...@us...>]

- **status**: open-invalid --> closed-invalid
- **Comment**:

according to your report HTTP is 200 with modified or unmodified account id, but json is status: "ok" with unmodified and "error" with modified account id. So it doesn't look like the changed account id was accepted.
Again, it has nothing to do with jEdit. I'm closing the ticket now.



---

**[bugs:#4147] Found Vulnerability:- IDOR (Insecure Direct Object Reference)**

**Status:** closed-invalid
**Group:** UNUSED
**Labels:** IDOR (Insecure Direct Object Reference) 
**Created:** Thu Sep 11, 2025 08:58 PM UTC by kunal waidande 
**Last Updated:** Tue Sep 16, 2025 01:57 PM UTC
**Owner:** nobody
**Attachments:**

- [jedit.org report.pdf](https://sourceforge.net/p/jedit/bugs/4147/attachment/jedit.org%20report.pdf) (920.8 kB; application/pdf)


The following API endpoint allows an attacker to change account-id in the query string and receive a valid response tied to that account.

Vulnerable endpoint: GET /a/api/fastlane.json?account_id=15680&site_id=103240

How to perform:
1- Go to website (https://www.jedit.org)
2- In home page on right side you will see sourceForge Project option.
3- Open burpsuit and on the intercept and in browser click on sourceForge Project option.
4- Forward the first and second request and then you will see bunch of requests in that request.
5- You that requests you will see (https://fastlane.rubiconproject.com).
6- Send it to repeater and change the account id.
7- You will see that response is 200 OK .

Please find attached PDF report in that, I have created all the manually tested proof report.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4147 Found Vulnerability:- IDOR (Insecure Direct Object Reference)

[kunal w. <kun...@us...>]

*Before re-testing it first Login your account  then only you will see response 200 ok:-

In 6th point after modifying the account id from request you will see that response is ok in repeater, it must not happen. If somone modify the account id it must show error code. I have also send the PDF report with POC.


---

**[bugs:#4147] Found Vulnerability:- IDOR (Insecure Direct Object Reference)**

**Status:** open-invalid
**Group:** UNUSED
**Labels:** IDOR (Insecure Direct Object Reference) 
**Created:** Thu Sep 11, 2025 08:58 PM UTC by kunal waidande 
**Last Updated:** Mon Sep 15, 2025 06:54 PM UTC
**Owner:** nobody
**Attachments:**

- [jedit.org report.pdf](https://sourceforge.net/p/jedit/bugs/4147/attachment/jedit.org%20report.pdf) (920.8 kB; application/pdf)


The following API endpoint allows an attacker to change account-id in the query string and receive a valid response tied to that account.

Vulnerable endpoint: GET /a/api/fastlane.json?account_id=15680&site_id=103240

How to perform:
1- Go to website (https://www.jedit.org)
2- In home page on right side you will see sourceForge Project option.
3- Open burpsuit and on the intercept and in browser click on sourceForge Project option.
4- Forward the first and second request and then you will see bunch of requests in that request.
5- You that requests you will see (https://fastlane.rubiconproject.com).
6- Send it to repeater and change the account id.
7- You will see that response is 200 OK .

Please find attached PDF report in that, I have created all the manually tested proof report.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4147 Found Vulnerability:- IDOR (Insecure Direct Object Reference)

[Eric Le L. <ker...@us...>]

I see you already created https://sourceforge.net/p/forge/site-support/27035/


---

**[bugs:#4147] Found Vulnerability:- IDOR (Insecure Direct Object Reference)**

**Status:** open-invalid
**Group:** UNUSED
**Labels:** IDOR (Insecure Direct Object Reference) 
**Created:** Thu Sep 11, 2025 08:58 PM UTC by kunal waidande 
**Last Updated:** Mon Sep 15, 2025 06:53 PM UTC
**Owner:** nobody
**Attachments:**

- [jedit.org report.pdf](https://sourceforge.net/p/jedit/bugs/4147/attachment/jedit.org%20report.pdf) (920.8 kB; application/pdf)


The following API endpoint allows an attacker to change account-id in the query string and receive a valid response tied to that account.

Vulnerable endpoint: GET /a/api/fastlane.json?account_id=15680&site_id=103240

How to perform:
1- Go to website (https://www.jedit.org)
2- In home page on right side you will see sourceForge Project option.
3- Open burpsuit and on the intercept and in browser click on sourceForge Project option.
4- Forward the first and second request and then you will see bunch of requests in that request.
5- You that requests you will see (https://fastlane.rubiconproject.com).
6- Send it to repeater and change the account id.
7- You will see that response is 200 OK .

Please find attached PDF report in that, I have created all the manually tested proof report.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4147 Found Vulnerability:- IDOR (Insecure Direct Object Reference)

[Eric Le L. <ker...@us...>]

- **Group**: severe bug --> UNUSED
- **Comment**:

please clarify exactly how  in step 6. it is a vulnerability since the response is an error. Anyway, please send the report to sourceforge.net, because on jedit.org it is just an image and a plain link to https://www.sourceforge.net/projects/jedit/.




---

**[bugs:#4147] Found Vulnerability:- IDOR (Insecure Direct Object Reference)**

**Status:** open-invalid
**Group:** UNUSED
**Labels:** IDOR (Insecure Direct Object Reference) 
**Created:** Thu Sep 11, 2025 08:58 PM UTC by kunal waidande 
**Last Updated:** Mon Sep 15, 2025 06:53 PM UTC
**Owner:** nobody
**Attachments:**

- [jedit.org report.pdf](https://sourceforge.net/p/jedit/bugs/4147/attachment/jedit.org%20report.pdf) (920.8 kB; application/pdf)


The following API endpoint allows an attacker to change account-id in the query string and receive a valid response tied to that account.

Vulnerable endpoint: GET /a/api/fastlane.json?account_id=15680&site_id=103240

How to perform:
1- Go to website (https://www.jedit.org)
2- In home page on right side you will see sourceForge Project option.
3- Open burpsuit and on the intercept and in browser click on sourceForge Project option.
4- Forward the first and second request and then you will see bunch of requests in that request.
5- You that requests you will see (https://fastlane.rubiconproject.com).
6- Send it to repeater and change the account id.
7- You will see that response is 200 OK .

Please find attached PDF report in that, I have created all the manually tested proof report.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4147 Found Vulnerability:- IDOR (Insecure Direct Object Reference)

[Eric Le L. <ker...@us...>]

- **status**: open --> open-invalid
- **Comment**:

please clarify exactly how  in step 6. it is a vulnerability since the response is an error. Anyway, please send the report to sourceforge.net, because on jedit.org it is just an image and a plain link to https://www.sourceforge.net/projects/jedit/.




---

**[bugs:#4147] Found Vulnerability:- IDOR (Insecure Direct Object Reference)**

**Status:** open-invalid
**Group:** severe bug
**Labels:** IDOR (Insecure Direct Object Reference) 
**Created:** Thu Sep 11, 2025 08:58 PM UTC by kunal waidande 
**Last Updated:** Thu Sep 11, 2025 08:58 PM UTC
**Owner:** nobody
**Attachments:**

- [jedit.org report.pdf](https://sourceforge.net/p/jedit/bugs/4147/attachment/jedit.org%20report.pdf) (920.8 kB; application/pdf)


The following API endpoint allows an attacker to change account-id in the query string and receive a valid response tied to that account.

Vulnerable endpoint: GET /a/api/fastlane.json?account_id=15680&site_id=103240

How to perform:
1- Go to website (https://www.jedit.org)
2- In home page on right side you will see sourceForge Project option.
3- Open burpsuit and on the intercept and in browser click on sourceForge Project option.
4- Forward the first and second request and then you will see bunch of requests in that request.
5- You that requests you will see (https://fastlane.rubiconproject.com).
6- Send it to repeater and change the account id.
7- You will see that response is 200 OK .

Please find attached PDF report in that, I have created all the manually tested proof report.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4147 Found Vulnerability:- IDOR (Insecure Direct Object Reference)

[kunal w. <kun...@us...>]

---

**[bugs:#4147] Found Vulnerability:- IDOR (Insecure Direct Object Reference)**

**Status:** open
**Group:** severe bug
**Labels:** IDOR (Insecure Direct Object Reference) 
**Created:** Thu Sep 11, 2025 08:58 PM UTC by kunal waidande 
**Last Updated:** Thu Sep 11, 2025 08:58 PM UTC
**Owner:** nobody
**Attachments:**

- [jedit.org report.pdf](https://sourceforge.net/p/jedit/bugs/4147/attachment/jedit.org%20report.pdf) (920.8 kB; application/pdf)


The following API endpoint allows an attacker to change account-id in the query string and receive a valid response tied to that account.

Vulnerable endpoint: GET /a/api/fastlane.json?account_id=15680&site_id=103240

How to perform:
1- Go to website (https://www.jedit.org)
2- In home page on right side you will see sourceForge Project option.
3- Open burpsuit and on the intercept and in browser click on sourceForge Project option.
4- Forward the first and second request and then you will see bunch of requests in that request.
5- You that requests you will see (https://fastlane.rubiconproject.com).
6- Send it to repeater and change the account id.
7- You will see that response is 200 OK .

Please find attached PDF report in that, I have created all the manually tested proof report.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4146 Unable to save new files with current master

[Björn K. <vam...@us...>]

- **status**: open --> closed-fixed
- **assigned_to**: Björn Kautler
- **Priority**: 5 --> 9
- **Comment**:

Hey there, sorry. I already had the proper fix for this locally, just didn't push yet because it was after some other commits that wait for the release of another project. I reordered the commits now and pushed that fix. Renaming and thus also 2-stage-save should work properly again now in current `master`.



---

**[bugs:#4146] Unable to save new files with current master**

**Status:** closed-fixed
**Group:** severe bug
**Created:** Sun Aug 03, 2025 04:49 PM UTC by Eric Le Lay
**Last Updated:** Sun Aug 03, 2025 05:25 PM UTC
**Owner:** Björn Kautler


I always get an error when saving new files: java.nio.file.NoSuchFileException with the save path, even if the parent folder exist.

java 17.0.16+8 or 24.0.2 on ArchLinux.

~~~
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest: java.nio.file.NoSuchFileException: /home/elelay/Documents/HOWTO_upgrade.md
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.translateToIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.rethrowAsIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.rethrowAsIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixFileSystemProvider.implDelete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.AbstractFileSystemProvider.delete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.nio.file.Files.delete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.jedit.io.FileVFS._rename(FileVFS.java:578)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.jedit.bufferio.BufferSaveRequest._run(BufferSaveRequest.java:100)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.util.Task.run(Task.java:65)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.lang.Thread.run(Unknown Source)
18:41:08 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: /home/elelay/Documents/HOWTO_upgrade.md:
18:41:08 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: Enregistrement impossible de java.nio.file.NoSuchFileException: /home/elelay/Documents/HOWTO_upgrade.md
~~~




---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4146 Unable to save new files with current master

[Eric Le L. <ker...@us...>]

This is because `File.delete()` doesn't throw an exception when the file doesn't exist, while `Files.delete(path)` does.
I guess this is the reason why you chose to use `Files.delete`, given the commit message, but the issue is that you didn't add code to handle the `NoSuchFileException`. Please revert or fix the commit.

Adding a debug message, here is an example of the problem:  `fromCanonPath == "/tmp/#xxxxxe#save#"` and `toCanonPath == "/tmp/xxxxxe"`


---

**[bugs:#4146] Unable to save new files with current master**

**Status:** open
**Group:** severe bug
**Created:** Sun Aug 03, 2025 04:49 PM UTC by Eric Le Lay
**Last Updated:** Sun Aug 03, 2025 05:07 PM UTC
**Owner:** nobody


I always get an error when saving new files: java.nio.file.NoSuchFileException with the save path, even if the parent folder exist.

java 17.0.16+8 or 24.0.2 on ArchLinux.

~~~
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest: java.nio.file.NoSuchFileException: /home/elelay/Documents/HOWTO_upgrade.md
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.translateToIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.rethrowAsIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.rethrowAsIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixFileSystemProvider.implDelete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.AbstractFileSystemProvider.delete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.nio.file.Files.delete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.jedit.io.FileVFS._rename(FileVFS.java:578)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.jedit.bufferio.BufferSaveRequest._run(BufferSaveRequest.java:100)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.util.Task.run(Task.java:65)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.lang.Thread.run(Unknown Source)
18:41:08 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: /home/elelay/Documents/HOWTO_upgrade.md:
18:41:08 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: Enregistrement impossible de java.nio.file.NoSuchFileException: /home/elelay/Documents/HOWTO_upgrade.md
~~~




---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4146 Unable to save new files with current master

[Eric Le L. <ker...@us...>]

@vampire0 this is a regression introduced in e73d8bfd46e7d0dba2371c1bad82a89a7aa12ba9
"Properly handle problems during file renaming in file VFS"


---

**[bugs:#4146] Unable to save new files with current master**

**Status:** open
**Group:** severe bug
**Created:** Sun Aug 03, 2025 04:49 PM UTC by Eric Le Lay
**Last Updated:** Sun Aug 03, 2025 04:57 PM UTC
**Owner:** nobody


I always get an error when saving new files: java.nio.file.NoSuchFileException with the save path, even if the parent folder exist.

java 17.0.16+8 or 24.0.2 on ArchLinux.

~~~
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest: java.nio.file.NoSuchFileException: /home/elelay/Documents/HOWTO_upgrade.md
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.translateToIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.rethrowAsIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.rethrowAsIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixFileSystemProvider.implDelete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.AbstractFileSystemProvider.delete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.nio.file.Files.delete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.jedit.io.FileVFS._rename(FileVFS.java:578)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.jedit.bufferio.BufferSaveRequest._run(BufferSaveRequest.java:100)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.util.Task.run(Task.java:65)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.lang.Thread.run(Unknown Source)
18:41:08 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: /home/elelay/Documents/HOWTO_upgrade.md:
18:41:08 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: Enregistrement impossible de java.nio.file.NoSuchFileException: /home/elelay/Documents/HOWTO_upgrade.md
~~~




---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4146 Unable to save new files with current master

[Eric Le L. <ker...@us...>]

With "2 stage save" active and "backup on each save" active. 1 backup, tilde suffix.
Also with -noserver -nosettings: ie a fresh install
jEdit compiled from current master= 01c732d64823f7e70e5bcc3fcb3f7ea6b7207bb8


---

**[bugs:#4146] Unable to save new files with current master**

**Status:** open
**Group:** severe bug
**Created:** Sun Aug 03, 2025 04:49 PM UTC by Eric Le Lay
**Last Updated:** Sun Aug 03, 2025 04:49 PM UTC
**Owner:** nobody


I always get an error when saving new files: java.nio.file.NoSuchFileException with the save path, even if the parent folder exist.

java 17.0.16+8 or 24.0.2 on ArchLinux.

~~~
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest: java.nio.file.NoSuchFileException: /home/elelay/Documents/HOWTO_upgrade.md
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.translateToIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.rethrowAsIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.rethrowAsIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixFileSystemProvider.implDelete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.AbstractFileSystemProvider.delete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.nio.file.Files.delete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.jedit.io.FileVFS._rename(FileVFS.java:578)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.jedit.bufferio.BufferSaveRequest._run(BufferSaveRequest.java:100)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.util.Task.run(Task.java:65)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.lang.Thread.run(Unknown Source)
18:41:08 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: /home/elelay/Documents/HOWTO_upgrade.md:
18:41:08 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: Enregistrement impossible de java.nio.file.NoSuchFileException: /home/elelay/Documents/HOWTO_upgrade.md
~~~




---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4146 Unable to save new files with current master

[Eric Le L. <ker...@us...>]

---

**[bugs:#4146] Unable to save new files with current master**

**Status:** open
**Group:** severe bug
**Created:** Sun Aug 03, 2025 04:49 PM UTC by Eric Le Lay
**Last Updated:** Sun Aug 03, 2025 04:49 PM UTC
**Owner:** nobody


I always get an error when saving new files: java.nio.file.NoSuchFileException with the save path, even if the parent folder exist.

java 17.0.16+8 or 24.0.2 on ArchLinux.

~~~
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest: java.nio.file.NoSuchFileException: /home/elelay/Documents/HOWTO_upgrade.md
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.translateToIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.rethrowAsIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixException.rethrowAsIOException(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.UnixFileSystemProvider.implDelete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/sun.nio.fs.AbstractFileSystemProvider.delete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.nio.file.Files.delete(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.jedit.io.FileVFS._rename(FileVFS.java:578)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.jedit.bufferio.BufferSaveRequest._run(BufferSaveRequest.java:100)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at org.gjt.sp.util.Task.run(Task.java:65)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(Unknown Source)
18:41:08 [jEdit Worker #3] [error] BufferSaveRequest:  at java.base/java.lang.Thread.run(Unknown Source)
18:41:08 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: /home/elelay/Documents/HOWTO_upgrade.md:
18:41:08 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: Enregistrement impossible de java.nio.file.NoSuchFileException: /home/elelay/Documents/HOWTO_upgrade.md
~~~




---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

Re: [ jEdit-devel ] jEdit core @ Git / GitHub mirror / continuous builds

[Björn K. <Va...@jE...>]

Hi Dale,

sorry, I was on vacation.
Nice to see you back.

Yes, as I wrote, the canonical repository / source of truth is now the 
Git repository at SourceForge
with a read-only mirror at GitHub, first and foremost for now to use 
GitHub Actions as CI environment.
There is no sync happening between Git and SVN, in SVN you only find a 
gravestone redirecting you to Git.

The Git repository is now also a combination of all jEdit history,
including things only laying around on Slava's disk, GJT CVS, SF CVS, 
and SF SVN.

This is only true for the jEdit core repository though if that was unclear.
I'll migrate those over to Git too.
But first I prepared some additional niceties for jEdit core, that I 
will polish and test some more,
now that I'm back from vacation and then push and write to the dev list 
about it.

Cheers
Björn


Am 23.06.2025 um 23:35 schrieb Dale Anson:
> Hi Björn,
>
> I've been out of it for a while, trying to catch up. Thanks for the 
> work on the git migration! Does that mean that git is now the main 
> source for jEdit code, or are the svn and git repositories synced so 
> either one works?
>
> On Sat, Mar 22, 2025 at 11:02 AM Björn Kautler <Va...@je...> wrote:
>
>     Hi
>
>     Finally it is finished again, sorry for the really long delays.
>
>     Also this time each originally SVN revision was checked
>     file-by-file to
>     be identical with the Git commits,
>     so this time there should not be such a mixed-up state in the history
>     like with the last try.
>
>     The canonical jEdit core repository can now be found again at
>     https://sourceforge.net/p/jedit/jEdit.
>
>     Each originally SVN revision is also annotated to the Git commit
>     using
>     git-notes, so if you want to find a Git commit by the original SVN
>     revision,
>     you can after cloning use `git fetch origin
>     refs/notes/*:refs/notes/*`
>     to get the commit notes that contain the SVN revisions.
>     If after that your Git client does not display the notes, then it
>     probably lacks support for them and you should open a feature request.
>     Things like `git log`, `gitk`, or `tig` support them, so there you
>     can
>     double-check that they are present.
>
>     Additional to the canonical repository, I created a read-only
>     mirror at
>     https://github.com/jEdit-editor/jEdit/.
>     It cron-based mirrors the canonical repository once an hour,
>     but it should also mirror immediately after a push to the canonical
>     repository as that triggers a webhook that starts the mirroring.
>     If that does not work anymore, please drop me a line so I can have
>     a look.
>
>     For the GitHub repository I also added a GitHub Actions workflow that
>     automatically builds jEdit
>     on a Linux runner, a Windows runner, and a macOS runner and also
>     provides that built artifacts
>     as result of the Action run, so now we do not only have daily builds
>     again, we even have continuous builds now
>     that run directly after each push:
>     https://github.com/jEdit-editor/jEdit/actions/workflows/build.yaml
>
>     I'll have a look at migrating the plugins' history next.
>
>     Cheers
>     Björn
>
>
>     PS: I'm sure you are all aware but just to be sure, please keep in
>     mind
>     to use rebase for non-pushed commits, not merge.
>          "Ladder"-histories are really not nice to look at or
>     investigate. :-)
>
>
>
>     -- 
>     -----------------------------------------------
>     jEdit Developers' List
>     jEd...@li...
>     https://lists.sourceforge.net/lists/listinfo/jedit-devel
>

[ jEdit-devel ] [jedit:bugs] Re: #4145 5.7 proxy error for plugin manager

[Donat C. <don...@us...>]

first lines of activity log are
Log file created on Thu Jun 26 10:26:11 CEST 2025
IMPORTANT:
Because updating this file after every log message would kill
performance, it will be *incomplete* unless you invoke the
Utilities->Troubleshooting->Update Activity Log on Disk command!
10:26:11 AM [main] [message] Log: When reporting bugs, please include the
following information:
10:26:11 AM [main] [message] Log: java.version=17.0.13
10:26:11 AM [main] [message] Log: java.vm.version=17.0.13+4-LTS-259
10:26:11 AM [main] [message] Log: java.vm.name=Java HotSpot(TM) 64-Bit
Server VM
10:26:11 AM [main] [message] Log: java.runtime.version=17.0.13+4-LTS-259
10:26:11 AM [main] [message] Log: java.runtime.name=Java(TM) SE Runtime
Environment
10:26:11 AM [main] [message] Log: java.vendor=Oracle Corporation
10:26:11 AM [main] [message] Log: java.compiler=null
10:26:11 AM [main] [message] Log: os.name=Windows 11
10:26:11 AM [main] [message] Log: os.version=10.0
10:26:11 AM [main] [message] Log: os.arch=amd64
Donat Callens


On Thu, 26 Jun 2025 at 11:31, Donat Callens <don...@gm...> wrote:

> The only relevant line is this one:
>
>    - 11:30:36 AM [jEdit Worker #3] [error] PluginList:
>    CacheRemotePluginList: proxy requires authentication
>
> Donat Callens
>
>
> On Mon, 16 Jun 2025 at 15:14, Donat Callens <
> don...@us...> wrote:
>
>> The proxy needs a username and password. It did work on the same profile
>> before updating recently to version 5.7. After that it did not work
>> anymore. I tried with a new empty profile and proxy settings, but that did
>> not work either.
>>
>> Donat Callens
>>
>> On Mon, 16 Jun 2025, 15:11 Alan Ezust, ez...@us... wrote:
>>
>> We need more info to reproduce. Is a username/password required for this
>> proxy?
>> Did you supply one or both or neither?
>> ------------------------------
>>
>>
>> *[bugs:#4145] <https://sourceforge.net/p/jedit/bugs/4145/>
>> https://sourceforge.net/p/jedit/bugs/4145/
>> <https://sourceforge.net/p/jedit/bugs/4145/> 5.7 proxy error for plugin
>> manager*
>>
>> *Status:* open
>> *Group:* minor bug
>> *Created:* Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
>> *Last Updated:* Sat Jun 14, 2025 11:37 PM UTC
>> *Owner:* nobody
>> *Attachments:*
>>
>>    - jEdit plugin server list.jpg
>>
>>    https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg
>>    (160.6 kB; image/jpeg)
>>    - jEdit proxy error.jpg
>>
>>    https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg
>>    (14.1 kB; image/jpeg)
>>
>> I recently updated to version 5.7. I now get the following message when
>> trying to open the plugin manager (see attachment "jEdit proxy error.jpg")
>> and can see no plugins. I tried this with a clean profile with updated
>> proxy info as well and it did not help. The option page that shows the
>> list
>> of plugin servers works however (see attachment "jEdit plugin server
>> list.jpg")...
>> ------------------------------
>>
>> Sent from sourceforge.net because you indicated interest in
>> https://sourceforge.net/p/jedit/bugs/4145/
>>
>> To unsubscribe from further messages, please visit
>> https://sourceforge.net/auth/subscriptions/
>>
>> ------------------------------
>>
>> *[bugs:#4145] <https://sourceforge.net/p/jedit/bugs/4145/> 5.7 proxy
>> error for plugin manager*
>>
>> *Status:* open
>> *Group:* minor bug
>> *Created:* Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
>> *Last Updated:* Mon Jun 16, 2025 01:13 PM UTC
>> *Owner:* nobody
>> *Attachments:*
>>
>>    - jEdit plugin server list.jpg
>>    <https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg>
>>    (160.6 kB; image/jpeg)
>>    - jEdit proxy error.jpg
>>    <https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg>
>>    (14.1 kB; image/jpeg)
>>
>> I recently updated to version 5.7. I now get the following message when
>> trying to open the plugin manager (see attachment "jEdit proxy error.jpg")
>> and can see no plugins. I tried this with a clean profile with updated
>> proxy info as well and it did not help. The option page that shows the list
>> of plugin servers works however (see attachment "jEdit plugin server
>> list.jpg")...
>> ------------------------------
>>
>> Sent from sourceforge.net because you indicated interest in
>> https://sourceforge.net/p/jedit/bugs/4145/
>>
>> To unsubscribe from further messages, please visit
>> https://sourceforge.net/auth/subscriptions/
>>
>



---

**[bugs:#4145] 5.7 proxy error for plugin manager**

**Status:** open
**Group:** minor bug
**Created:** Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
**Last Updated:** Mon Jun 16, 2025 01:13 PM UTC
**Owner:** nobody
**Attachments:**

- [jEdit plugin server list.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg) (160.6 kB; image/jpeg)
- [jEdit proxy error.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg) (14.1 kB; image/jpeg)


I recently updated to version 5.7. I now get the following message when trying to open the plugin manager (see attachment "jEdit proxy error.jpg") and can see no plugins. I tried this with a clean profile with updated proxy info as well and it did not help. The option page that shows the list of plugin servers works however (see attachment "jEdit plugin server list.jpg")...


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] Re: #4145 5.7 proxy error for plugin manager

[Donat C. <don...@us...>]

The only relevant line is this one:

   - 11:30:36 AM [jEdit Worker #3] [error] PluginList:
   CacheRemotePluginList: proxy requires authentication

Donat Callens


On Mon, 16 Jun 2025 at 15:14, Donat Callens <
don...@us...> wrote:

> The proxy needs a username and password. It did work on the same profile
> before updating recently to version 5.7. After that it did not work
> anymore. I tried with a new empty profile and proxy settings, but that did
> not work either.
>
> Donat Callens
>
> On Mon, 16 Jun 2025, 15:11 Alan Ezust, ez...@us... wrote:
>
> We need more info to reproduce. Is a username/password required for this
> proxy?
> Did you supply one or both or neither?
> ------------------------------
>
>
> *[bugs:#4145] <https://sourceforge.net/p/jedit/bugs/4145/>
> https://sourceforge.net/p/jedit/bugs/4145/
> <https://sourceforge.net/p/jedit/bugs/4145/> 5.7 proxy error for plugin
> manager*
>
> *Status:* open
> *Group:* minor bug
> *Created:* Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
> *Last Updated:* Sat Jun 14, 2025 11:37 PM UTC
> *Owner:* nobody
> *Attachments:*
>
>    - jEdit plugin server list.jpg
>
>    https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg
>    (160.6 kB; image/jpeg)
>    - jEdit proxy error.jpg
>
>    https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg
>    (14.1 kB; image/jpeg)
>
> I recently updated to version 5.7. I now get the following message when
> trying to open the plugin manager (see attachment "jEdit proxy error.jpg")
> and can see no plugins. I tried this with a clean profile with updated
> proxy info as well and it did not help. The option page that shows the list
> of plugin servers works however (see attachment "jEdit plugin server
> list.jpg")...
> ------------------------------
>
> Sent from sourceforge.net because you indicated interest in
> https://sourceforge.net/p/jedit/bugs/4145/
>
> To unsubscribe from further messages, please visit
> https://sourceforge.net/auth/subscriptions/
>
> ------------------------------
>
> *[bugs:#4145] <https://sourceforge.net/p/jedit/bugs/4145/> 5.7 proxy error
> for plugin manager*
>
> *Status:* open
> *Group:* minor bug
> *Created:* Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
> *Last Updated:* Mon Jun 16, 2025 01:13 PM UTC
> *Owner:* nobody
> *Attachments:*
>
>    - jEdit plugin server list.jpg
>    <https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg>
>    (160.6 kB; image/jpeg)
>    - jEdit proxy error.jpg
>    <https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg>
>    (14.1 kB; image/jpeg)
>
> I recently updated to version 5.7. I now get the following message when
> trying to open the plugin manager (see attachment "jEdit proxy error.jpg")
> and can see no plugins. I tried this with a clean profile with updated
> proxy info as well and it did not help. The option page that shows the list
> of plugin servers works however (see attachment "jEdit plugin server
> list.jpg")...
> ------------------------------
>
> Sent from sourceforge.net because you indicated interest in
> https://sourceforge.net/p/jedit/bugs/4145/
>
> To unsubscribe from further messages, please visit
> https://sourceforge.net/auth/subscriptions/
>



---

**[bugs:#4145] 5.7 proxy error for plugin manager**

**Status:** open
**Group:** minor bug
**Created:** Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
**Last Updated:** Mon Jun 16, 2025 01:13 PM UTC
**Owner:** nobody
**Attachments:**

- [jEdit plugin server list.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg) (160.6 kB; image/jpeg)
- [jEdit proxy error.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg) (14.1 kB; image/jpeg)


I recently updated to version 5.7. I now get the following message when trying to open the plugin manager (see attachment "jEdit proxy error.jpg") and can see no plugins. I tried this with a clean profile with updated proxy info as well and it did not help. The option page that shows the list of plugin servers works however (see attachment "jEdit plugin server list.jpg")...


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

Re: [ jEdit-devel ] jEdit core @ Git / GitHub mirror / continuous builds

[Dale A. <da...@da...>]

Hi Björn,

I've been out of it for a while, trying to catch up. Thanks for the work on
the git migration! Does that mean that git is now the main source for jEdit
code, or are the svn and git repositories synced so either one works?

On Sat, Mar 22, 2025 at 11:02 AM Björn Kautler <Va...@je...> wrote:

> Hi
>
> Finally it is finished again, sorry for the really long delays.
>
> Also this time each originally SVN revision was checked file-by-file to
> be identical with the Git commits,
> so this time there should not be such a mixed-up state in the history
> like with the last try.
>
> The canonical jEdit core repository can now be found again at
> https://sourceforge.net/p/jedit/jEdit.
>
> Each originally SVN revision is also annotated to the Git commit using
> git-notes, so if you want to find a Git commit by the original SVN
> revision,
> you can after cloning use `git fetch origin refs/notes/*:refs/notes/*`
> to get the commit notes that contain the SVN revisions.
> If after that your Git client does not display the notes, then it
> probably lacks support for them and you should open a feature request.
> Things like `git log`, `gitk`, or `tig` support them, so there you can
> double-check that they are present.
>
> Additional to the canonical repository, I created a read-only mirror at
> https://github.com/jEdit-editor/jEdit/.
> It cron-based mirrors the canonical repository once an hour,
> but it should also mirror immediately after a push to the canonical
> repository as that triggers a webhook that starts the mirroring.
> If that does not work anymore, please drop me a line so I can have a look.
>
> For the GitHub repository I also added a GitHub Actions workflow that
> automatically builds jEdit
> on a Linux runner, a Windows runner, and a macOS runner and also
> provides that built artifacts
> as result of the Action run, so now we do not only have daily builds
> again, we even have continuous builds now
> that run directly after each push:
> https://github.com/jEdit-editor/jEdit/actions/workflows/build.yaml
>
> I'll have a look at migrating the plugins' history next.
>
> Cheers
> Björn
>
>
> PS: I'm sure you are all aware but just to be sure, please keep in mind
> to use rebase for non-pushed commits, not merge.
>      "Ladder"-histories are really not nice to look at or investigate. :-)
>
>
>
> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>

[ jEdit-devel ] [jedit:bugs] Re: #4145 5.7 proxy error for plugin manager

[Donat C. <don...@us...>]

The proxy needs a username and password. It did work on the same profile
before updating recently to version 5.7. After that it did not work
anymore. I tried with a new empty profile and proxy settings, but that did
not work either.

Donat Callens

On Mon, 16 Jun 2025, 15:11 Alan Ezust, <ez...@us...> wrote:

> We need more info to reproduce. Is a username/password required for this
> proxy?
> Did you supply one or both or neither?
> ------------------------------
>
> *[bugs:#4145] <https://sourceforge.net/p/jedit/bugs/4145/> 5.7 proxy error
> for plugin manager*
>
> *Status:* open
> *Group:* minor bug
> *Created:* Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
> *Last Updated:* Sat Jun 14, 2025 11:37 PM UTC
> *Owner:* nobody
> *Attachments:*
>
>    - jEdit plugin server list.jpg
>    <https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg>
>    (160.6 kB; image/jpeg)
>    - jEdit proxy error.jpg
>    <https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg>
>    (14.1 kB; image/jpeg)
>
> I recently updated to version 5.7. I now get the following message when
> trying to open the plugin manager (see attachment "jEdit proxy error.jpg")
> and can see no plugins. I tried this with a clean profile with updated
> proxy info as well and it did not help. The option page that shows the list
> of plugin servers works however (see attachment "jEdit plugin server
> list.jpg")...
> ------------------------------
>
> Sent from sourceforge.net because you indicated interest in
> https://sourceforge.net/p/jedit/bugs/4145/
>
> To unsubscribe from further messages, please visit
> https://sourceforge.net/auth/subscriptions/
>



---

**[bugs:#4145] 5.7 proxy error for plugin manager**

**Status:** open
**Group:** minor bug
**Created:** Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
**Last Updated:** Mon Jun 16, 2025 01:13 PM UTC
**Owner:** nobody
**Attachments:**

- [jEdit plugin server list.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg) (160.6 kB; image/jpeg)
- [jEdit proxy error.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg) (14.1 kB; image/jpeg)


I recently updated to version 5.7. I now get the following message when trying to open the plugin manager (see attachment "jEdit proxy error.jpg") and can see no plugins. I tried this with a clean profile with updated proxy info as well and it did not help. The option page that shows the list of plugin servers works however (see attachment "jEdit plugin server list.jpg")...


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4145 5.7 proxy error for plugin manager

[Alan E. <ez...@us...>]

Also, please clear the activity log, reproduce, and then attach the activity log to this ticket.


---

**[bugs:#4145] 5.7 proxy error for plugin manager**

**Status:** open
**Group:** minor bug
**Created:** Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
**Last Updated:** Mon Jun 16, 2025 01:11 PM UTC
**Owner:** nobody
**Attachments:**

- [jEdit plugin server list.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg) (160.6 kB; image/jpeg)
- [jEdit proxy error.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg) (14.1 kB; image/jpeg)


I recently updated to version 5.7. I now get the following message when trying to open the plugin manager (see attachment "jEdit proxy error.jpg") and can see no plugins. I tried this with a clean profile with updated proxy info as well and it did not help. The option page that shows the list of plugin servers works however (see attachment "jEdit plugin server list.jpg")...


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4145 5.7 proxy error for plugin manager

[Alan E. <ez...@us...>]

We need more info to reproduce. Is a username/password required for this proxy? 
Did you supply one or both or neither?



---

**[bugs:#4145] 5.7 proxy error for plugin manager**

**Status:** open
**Group:** minor bug
**Created:** Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
**Last Updated:** Sat Jun 14, 2025 11:37 PM UTC
**Owner:** nobody
**Attachments:**

- [jEdit plugin server list.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg) (160.6 kB; image/jpeg)
- [jEdit proxy error.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg) (14.1 kB; image/jpeg)


I recently updated to version 5.7. I now get the following message when trying to open the plugin manager (see attachment "jEdit proxy error.jpg") and can see no plugins. I tried this with a clean profile with updated proxy info as well and it did not help. The option page that shows the list of plugin servers works however (see attachment "jEdit plugin server list.jpg")...


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] Re: #4145 5.7 proxy error for plugin manager

[Donat C. <don...@us...>]

I'm behind a proxy. The proxy settings used to work and have not been
changed. I tried all sorts of changes to no avail.
Donat Callens


On Sun, 15 Jun 2025 at 01:37, Alan Ezust <ez...@us...>
wrote:

> Under jEdit global options - Proxy Settings, are you using a proxy server?
> The error message tells you to supply a password there. If you are not
> using a proxy server, be sure to uncheck that option.
> ------------------------------
>
> *[bugs:#4145] <https://sourceforge.net/p/jedit/bugs/4145/> 5.7 proxy error
> for plugin manager*
>
> *Status:* open
> *Group:* minor bug
> *Created:* Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
> *Last Updated:* Thu Jun 12, 2025 07:01 AM UTC
> *Owner:* nobody
> *Attachments:*
>
>    - jEdit plugin server list.jpg
>    <https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg>
>    (160.6 kB; image/jpeg)
>    - jEdit proxy error.jpg
>    <https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg>
>    (14.1 kB; image/jpeg)
>
> I recently updated to version 5.7. I now get the following message when
> trying to open the plugin manager (see attachment "jEdit proxy error.jpg")
> and can see no plugins. I tried this with a clean profile with updated
> proxy info as well and it did not help. The option page that shows the list
> of plugin servers works however (see attachment "jEdit plugin server
> list.jpg")...
> ------------------------------
>
> Sent from sourceforge.net because you indicated interest in
> https://sourceforge.net/p/jedit/bugs/4145/
>
> To unsubscribe from further messages, please visit
> https://sourceforge.net/auth/subscriptions/
>



---

**[bugs:#4145] 5.7 proxy error for plugin manager**

**Status:** open
**Group:** minor bug
**Created:** Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
**Last Updated:** Sat Jun 14, 2025 11:37 PM UTC
**Owner:** nobody
**Attachments:**

- [jEdit plugin server list.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg) (160.6 kB; image/jpeg)
- [jEdit proxy error.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg) (14.1 kB; image/jpeg)


I recently updated to version 5.7. I now get the following message when trying to open the plugin manager (see attachment "jEdit proxy error.jpg") and can see no plugins. I tried this with a clean profile with updated proxy info as well and it did not help. The option page that shows the list of plugin servers works however (see attachment "jEdit plugin server list.jpg")...


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4145 5.7 proxy error for plugin manager

[Alan E. <ez...@us...>]

Under jEdit global options -  Proxy Settings, are you using a proxy server?  The error message tells you to supply a password there. If you are not using a proxy server, be sure to uncheck that option. 


---

**[bugs:#4145] 5.7 proxy error for plugin manager**

**Status:** open
**Group:** minor bug
**Created:** Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
**Last Updated:** Thu Jun 12, 2025 07:01 AM UTC
**Owner:** nobody
**Attachments:**

- [jEdit plugin server list.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg) (160.6 kB; image/jpeg)
- [jEdit proxy error.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg) (14.1 kB; image/jpeg)


I recently updated to version 5.7. I now get the following message when trying to open the plugin manager (see attachment "jEdit proxy error.jpg") and can see no plugins. I tried this with a clean profile with updated proxy info as well and it did not help. The option page that shows the list of plugin servers works however (see attachment "jEdit plugin server list.jpg")...


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4145 5.7 proxy error for plugin manager

[Donat C. <don...@us...>]

---

**[bugs:#4145] 5.7 proxy error for plugin manager**

**Status:** open
**Group:** minor bug
**Created:** Thu Jun 12, 2025 07:01 AM UTC by Donat Callens
**Last Updated:** Thu Jun 12, 2025 07:01 AM UTC
**Owner:** nobody
**Attachments:**

- [jEdit plugin server list.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20plugin%20server%20list.jpg) (160.6 kB; image/jpeg)
- [jEdit proxy error.jpg](https://sourceforge.net/p/jedit/bugs/4145/attachment/jEdit%20proxy%20error.jpg) (14.1 kB; image/jpeg)


I recently updated to version 5.7. I now get the following message when trying to open the plugin manager (see attachment "jEdit proxy error.jpg") and can see no plugins. I tried this with a clean profile with updated proxy info as well and it did not help. The option page that shows the list of plugin servers works however (see attachment "jEdit plugin server list.jpg")...


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:patches] #645 Standardize notable color properties wrt. getColorHexString

[Makarius <mak...@us...>]

---

**[patches:#645] Standardize notable color properties wrt. getColorHexString**

**Status:** open
**Group:** 
**Created:** Tue May 20, 2025 09:46 AM UTC by Makarius
**Last Updated:** Tue May 20, 2025 09:46 AM UTC
**Owner:** nobody
**Attachments:**

- [a.patch](https://sourceforge.net/p/jedit/patches/645/attachment/a.patch) (4.3 kB; text/x-patch)


This is an attempt to reduce redundant entries in user properties (file "properties" in the settings directory).

The problem is that color defaults use RGB without ALPHA, but SyntaxUtilities.getColorHexString() will add a prefix "#ff" for that. Thus most color properties end up in the user properties file, even without an actual change of the value.

The patch adjusts the default jEdit colors to coincide with the ARGB format of SyntaxUtilities.getColorHexString(). Note that this does not cover plugin properties: that would require more profound changes, for example to have getColorHexString() omit a redundant "#ff" prefix.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:plugin-bugs] #1935 FTP Dialog won't open

[Eric Le L. <ker...@us...>]

- **status**: open --> pending
- **Comment**:

FTP 1.4 has been released. It should fix the issue.



---

**[plugin-bugs:#1935] FTP Dialog won't open**

**Status:** pending
**Group:** 
**Created:** Fri Feb 07, 2025 07:49 PM UTC by Dynamo Dan
**Last Updated:** Mon Mar 24, 2025 12:22 AM UTC
**Owner:** Matthieu Casanova


FTP dialog doesn't open.  jEdit version 5.7.0, java versions java-8-openjdk/jre, java-11-openjdk, java-17.openjdk on manjaro, and openjdk 17 on ubuntu.

Steps to reproduce:
Install jedit, install ftp plugin.  Choose "open from ftp server" or "open from sftp server".  Nothing happens.  When I run jedit in console, no errors show.  Just nothing at all happens.  Opening from file history works, so it's some issue with the ftp file dialog.

I'll do some more testing with other java versions, maybe the oracle one etc.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4144 Impossible to insert the backslash character in Japanese keyboard

[Yosuke I. <yos...@us...>]

---

**[bugs:#4144] Impossible to insert the backslash character in Japanese keyboard**

**Status:** open
**Group:** normal bug
**Created:** Tue Apr 29, 2025 01:36 AM UTC by Yosuke Ito
**Last Updated:** Tue Apr 29, 2025 01:36 AM UTC
**Owner:** nobody


I use jEdit v5.7.0 on MacBook Air (Sequoia 15.4.1). My keyboard layout is Japanese.
Usually I can insert the backslash character \ by pressing the ￥ key, but the jEdit interpret ￥ as ￥, not \. (Opt + ￥ does not work either.)
Another Japanese user reproduces the same behavior, so it seems a bug.

My current workaround is to switch to the US input mode and press Opt + ￥, but I am not happy with that. I hope the bug to be fixed.



---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4142 FTP plugin not working

[Eric Le L. <ker...@us...>]

Hi Derek, please try FTP plugin 1.4, an update available from the Plugin Manager.
Thanks,


---

**[bugs:#4142] FTP plugin not working**

**Status:** open
**Group:** severe bug
**Created:** Wed Mar 19, 2025 03:45 PM UTC by Derek L Christiansen
**Last Updated:** Wed Mar 19, 2025 04:45 PM UTC
**Owner:** nobody
**Attachments:**

- [activity.log](https://sourceforge.net/p/jedit/bugs/4142/attachment/activity.log) (28.1 kB; text/x-log)


FTP plugin does not work. See attached activity.log


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.