jedit-devel

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.

[ jEdit-devel ] [jedit:bugs] #3812 htaccess Syntax Highlighting is wrong

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

- **status**: open --> closed-fixed
- **Group**: minor bug --> normal bug
- **Comment**:

The problem here actually was three-fold.

1. On first usage of an edit mode the context sensitivity flag of the mode files was not considered, that's why you first saw it as keyword2 and after reload as keyword1.
2. On first usage of an edit mode after "Reload edit modes" the context sensitivity flag of the mode files also was not considered.
3. The `htaccess` mode was erroneously set to be context insensitive which is wrong.

1 was fixed already with commit [ae018a33a886e8f44df23b3f780176abc82d7c6a](https://sourceforge.net/p/jedit/jEdit/ci/ae018a33a886e8f44df23b3f780176abc82d7c6a/) 2 months before this issue was created
2 is fixed now with [2c30e5e0833ff11d4476dc2f34a2f30cbe38603b](https://sourceforge.net/p/jedit/jEdit/ci/2c30e5e0833ff11d4476dc2f34a2f30cbe38603b/)
3 is fixed now with [a9885bb3c58a0fcd31cd608f501dbfe4d33e5c4a](https://sourceforge.net/p/jedit/jEdit/ci/a9885bb3c58a0fcd31cd608f501dbfe4d33e5c4a/)



---

**[bugs:#3812] htaccess Syntax Highlighting is wrong**

**Status:** closed-fixed
**Group:** normal bug
**Labels:** text area and syntax packages 
**Created:** Tue Jul 09, 2013 12:16 PM UTC by funa take
**Last Updated:** Tue Feb 11, 2014 10:27 PM UTC
**Owner:** Björn Kautler


Sample htaccess

<IfModule mod\_rewrite.c>
RewriteEngine on
</IfModule>

"RewriteRule" is displayed in color of keyword2.
However after file is reloaded, it is displayed in color of keyword1.


---

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] #3811 updated sources.list

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

- **status**: open --> closed-fixed
- **Group**:  --> minor bug



---

**[bugs:#3811] updated sources.list**

**Status:** closed-fixed
**Group:** minor bug
**Created:** Fri Jul 05, 2013 02:57 PM UTC by marcwert
**Last Updated:** Wed Oct 02, 2013 06:13 PM UTC
**Owner:** Björn Kautler


updated sources.list with deb http://switch.dl.sourceforge.net/project/jedit /
and got

W: Failed to fetch http://dl.sourceforge.net/sourceforge/jedit/Release.gpg  Got a single header line over 360 chars

W: Failed to fetch http://dl.sourceforge.net/sourceforge/jedit/Sources  Got a single header line over 360 chars

W: Failed to fetch http://dl.sourceforge.net/sourceforge/jedit/Packages  Got a single header line over 360 chars

W: Failed to fetch http://dl.sourceforge.net/sourceforge/jedit/en\_US  Got a single header line over 360 chars

W: Failed to fetch http://dl.sourceforge.net/sourceforge/jedit/en  Got a single header line over 360 chars



---

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] #4090 Code repository issues (unable to download source)

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

- **status**: open --> closed-fixed
- **Group**: severe bug --> minor bug
- **Priority**: 5 --> 1



---

**[bugs:#4090] Code repository issues (unable to download source)**

**Status:** closed-fixed
**Group:** minor bug
**Created:** Fri Feb 14, 2020 11:35 PM UTC by Brendan Robert
**Last Updated:** Sat Feb 15, 2020 12:22 AM UTC
**Owner:** Björn Kautler


**Issue: ** The sourceforge website/code repository is not working correctly and downloading sources from the trunk results in various issues.
**jEdit version:** Current dev trunk
**Platform: **Website
**Java version:** *N/A*
**Steps to reproduce:** Try to browse the Git link from the sourceforge website and you don't see an indentical source tree to that in the svn repository.   Also, trying to download a snapshot of the source from SVN results in the browser spinning indefinitely waiting for sourceforge to respond.
**Expected result:** It should be easy to use modern tooling to access the source of this project in order to participate in debugging and improving the software.
**Other notes:** I was able to download the source with the svn command line tool, but oddly using git svn did not work and it also spun its wheels when looking through commit history.  I suspect it is related to the same issue as the source forge website.  If the svn repository has a lot of merges in its history, it could be causing back-end SVN server issues.   In my personal experience GIT is far less fragile in this kind of situation.


---

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] #644 Some updates for Emacs Macros

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

---

**[patches:#644] Some updates for Emacs Macros**

**Status:** open
**Group:** 
**Created:** Tue Mar 25, 2025 11:28 AM UTC by Makarius
**Last Updated:** Tue Mar 25, 2025 11:28 AM UTC
**Owner:** nobody
**Attachments:**

- [0001.patch](https://sourceforge.net/p/jedit/patches/644/attachment/0001.patch) (3.5 kB; text/x-patch)


Some updates for Emacs Macros, based on patch #642 "bundled Emacs Macros are broken".


---

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-central-submission] #1084 FTP 1.4

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

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

Released to plugin central.
Thanks :-)



---

**[plugin-central-submission:#1084] FTP 1.4**

**Status:** closed-accepted
**Group:** None
**Created:** Tue Mar 04, 2025 08:03 AM UTC by Matthieu Casanova
**Last Updated:** Tue Mar 04, 2025 08:03 AM UTC
**Owner:** nobody


{{{ FTP 1.4
    Source: FTP-1.4
    Announcement: - Use of Base64 instead of sun.misc.BASE64Encoder
        - Use of jsch 0.1.55
        - Bugfixes on corner case during save
    Requires Java 11
    Requires jEdit 05.05.99.00
    Required plugins: 
        Common Controls 1.7.4 (CommonControlsPlugin)
    
    Short Description: The FTP plugin adds the ability to browse directories and edit files on (S)FTP servers.
    
    Long Description: <html>
<p>The FTP plugin plugs into jEdit's virtual filesystem to allow transparent access to (S)FTP servers. It integrates with the filesystem browser (hence you can do things like add favorites which point to remote servers, and such), caches remote directory listings for improved performance, remembers passwords, and has optional support for passive-mode FTP.</p>
</html>
 }}}


---

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

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