jedit-devel

[ 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.

[ jEdit-devel ] [jedit:bugs] Re: #4143 Random Tab Order (it keeps changing on it's own)

[dbareis <db...@us...>]

Sorry I didn't realise it was  a plugin, its hard to imagine an editor without natively supporting tabs.  I would have installed it many yonks ago.

I already have the "sort buffer switcher" ticked.  I'm also thinking that the sorting issue doesn't happen until there is more than a single line of tabs.  In any case I don't want them sorted, I want them in the ider I order them, for example when I move a tab to the expected(first col 1st row), I don't expect it to disappear into the middle somewhere.


---

**[bugs:#4143] Random Tab Order (it keeps changing on it's own)**

**Status:** open
**Group:** severe bug
**Labels:** tab 
**Created:** Sat Apr 12, 2025 06:09 AM UTC by dbareis
**Last Updated:** Sat Apr 12, 2025 03:11 PM UTC
**Owner:** nobody


On Windows 11 and "Eclipse Adoptium\jre-21.0.4.7-hotspot\bin\javaW.exe" and jedit 5.7.0,  the tab order keeps changing.  

Normally I don't have many tabs open so it hasn't been much of an issue but as I get more open it is driving me crazy as I have to constantly look for the tab that was "there" last last time.  The order seems to change as dialogs and windows are opened and closed (perhaps other times, not sure).


---

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] #4143 Random Tab Order (it keeps changing on it's own)

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

To sort the buffer sets (which are used by BufferTabs) global options - view - sort buffer switcher. 


---

**[bugs:#4143] Random Tab Order (it keeps changing on it's own)**

**Status:** open
**Group:** severe bug
**Labels:** tab 
**Created:** Sat Apr 12, 2025 06:09 AM UTC by dbareis
**Last Updated:** Sat Apr 12, 2025 03:10 PM UTC
**Owner:** nobody


On Windows 11 and "Eclipse Adoptium\jre-21.0.4.7-hotspot\bin\javaW.exe" and jedit 5.7.0,  the tab order keeps changing.  

Normally I don't have many tabs open so it hasn't been much of an issue but as I get more open it is driving me crazy as I have to constantly look for the tab that was "there" last last time.  The order seems to change as dialogs and windows are opened and closed (perhaps other times, not sure).


---

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] #4143 Random Tab Order (it keeps changing on it's own)

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

Are you talking about the BufferTabs plugin? jEdit has no tabs. 


---

**[bugs:#4143] Random Tab Order (it keeps changing on it's own)**

**Status:** open
**Group:** severe bug
**Labels:** tab 
**Created:** Sat Apr 12, 2025 06:09 AM UTC by dbareis
**Last Updated:** Sat Apr 12, 2025 06:09 AM UTC
**Owner:** nobody


On Windows 11 and "Eclipse Adoptium\jre-21.0.4.7-hotspot\bin\javaW.exe" and jedit 5.7.0,  the tab order keeps changing.  

Normally I don't have many tabs open so it hasn't been much of an issue but as I get more open it is driving me crazy as I have to constantly look for the tab that was "there" last last time.  The order seems to change as dialogs and windows are opened and closed (perhaps other times, not sure).


---

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] #4143 Random Tab Order (it keeps changing on it's own)

[dbareis <db...@us...>]

---

**[bugs:#4143] Random Tab Order (it keeps changing on it's own)**

**Status:** open
**Group:** severe bug
**Labels:** tab 
**Created:** Sat Apr 12, 2025 06:09 AM UTC by dbareis
**Last Updated:** Sat Apr 12, 2025 06:09 AM UTC
**Owner:** nobody


On Windows 11 and "Eclipse Adoptium\jre-21.0.4.7-hotspot\bin\javaW.exe" and jedit 5.7.0,  the tab order keeps changing.  

Normally I don't have many tabs open so it hasn't been much of an issue but as I get more open it is driving me crazy as I have to constantly look for the tab that was "there" last last time.  The order seems to change as dialogs and windows are opened and closed (perhaps other times, not sure).


---

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] #4043 Plugin Manager using HTTP for Updates/Install

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

- **status**: open --> closed-fixed
- **Group**: normal bug --> severe bug



---

**[bugs:#4043] Plugin Manager using HTTP for Updates/Install**

**Status:** closed-fixed
**Group:** severe bug
**Labels:** security 
**Created:** Wed Aug 09, 2017 11:31 PM UTC by 0x10F8
**Last Updated:** Tue Apr 01, 2025 01:30 AM UTC
**Owner:** Björn Kautler
**Attachments:**

- [MITM Response.png](https://sourceforge.net/p/jedit/bugs/4043/attachment/MITM%20Response.png) (62.8 kB; image/png)
- [PoC Worked.png](https://sourceforge.net/p/jedit/bugs/4043/attachment/PoC%20Worked.png) (9.7 kB; image/png)
- [PoC payload.png](https://sourceforge.net/p/jedit/bugs/4043/attachment/PoC%20payload.png) (31.7 kB; image/png)
- [Updater with PoC.png](https://sourceforge.net/p/jedit/bugs/4043/attachment/Updater%20with%20PoC.png) (31.2 kB; image/png)


As the plugin manager uses HTTP man in the middle of plugin manager communication is trivial. 

If the (plugin-manager.export-url) /export/gzip_plugin_manager.php call is intercepted and respose modified then plugin installation and updates can be compromised and remote code execution can occur (through providing malicious plugin jars in URLs in the response XML). Or even if the gzip_plugin_manager.php call isn't intercepted then future calls can be intercepted and a redirect to malicious jars can be provided.

Suggest that TLS is used where possible and code signing of plugins (and display warnings or blocking unsigned plugins).

Implications are that using jedit on a public network (coffee shop, airport etc) could allow remote code execution.


---

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] #4043 Plugin Manager using HTTP for Updates/Install

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

I don't remember why I forcefully downgraded the plugin downloads to HTTP and unfortunately I didn't comment it.
I first did not do that but changed it 10 days later, so there probably was some reason I had to do.
As since some time the SSL config for jedit.org was fixed, I changed now mirror list download and plugin list download to HTTPS.
I also changed the plugin download to not downgrade to HTTP anymore, maybe it was a temporary problem that was solved with it.
We will see what happens. :-)


---

**[bugs:#4043] Plugin Manager using HTTP for Updates/Install**

**Status:** open
**Group:** normal bug
**Labels:** security 
**Created:** Wed Aug 09, 2017 11:31 PM UTC by 0x10F8
**Last Updated:** Tue Aug 15, 2017 07:10 AM UTC
**Owner:** Björn Kautler
**Attachments:**

- [MITM Response.png](https://sourceforge.net/p/jedit/bugs/4043/attachment/MITM%20Response.png) (62.8 kB; image/png)
- [PoC Worked.png](https://sourceforge.net/p/jedit/bugs/4043/attachment/PoC%20Worked.png) (9.7 kB; image/png)
- [PoC payload.png](https://sourceforge.net/p/jedit/bugs/4043/attachment/PoC%20payload.png) (31.7 kB; image/png)
- [Updater with PoC.png](https://sourceforge.net/p/jedit/bugs/4043/attachment/Updater%20with%20PoC.png) (31.2 kB; image/png)


As the plugin manager uses HTTP man in the middle of plugin manager communication is trivial. 

If the (plugin-manager.export-url) /export/gzip_plugin_manager.php call is intercepted and respose modified then plugin installation and updates can be compromised and remote code execution can occur (through providing malicious plugin jars in URLs in the response XML). Or even if the gzip_plugin_manager.php call isn't intercepted then future calls can be intercepted and a redirect to malicious jars can be provided.

Suggest that TLS is used where possible and code signing of plugins (and display warnings or blocking unsigned plugins).

Implications are that using jedit on a public network (coffee shop, airport etc) could allow remote code execution.


---

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.