jedit-devel

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

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

I don't have the setup to release plugins right now but I built it and I can share it on google drive until someone does the official release.
https://drive.google.com/drive/folders/1bvedx-mqVU4JGdhXYrjtxka6LFeA6-YW?usp=sharing




---

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

**Status:** open
**Group:** 
**Created:** Fri Feb 07, 2025 07:49 PM UTC by Dynamo Dan
**Last Updated:** Sun Mar 23, 2025 08:58 PM 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:plugin-bugs] #1935 FTP Dialog won't open

[Ainsley L. <ain...@us...>]

Still no fix available?
java version "21" 2023-09-19 LTS


---

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

**Status:** open
**Group:** 
**Created:** Fri Feb 07, 2025 07:49 PM UTC by Dynamo Dan
**Last Updated:** Wed Mar 12, 2025 11:46 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] #4134 jEdit becomes unresponsive to key presses (LSP plugin?)

[Derek L C. <drb...@us...>]

I've had this problem when opening too many files at once. One of things that's great about jedit is the infinite divisibility of the editor window. I used to be able to open 15 separate windows. By reverting back 5.4 the problem exists but goes away if I close a file. In 5.5 & 5.6 the app needs to closed and reopened. 


---

**[bugs:#4134] jEdit becomes unresponsive to key presses (LSP plugin?)**

**Status:** open
**Group:** severe bug
**Created:** Thu May 02, 2024 07:23 PM UTC by Damien
**Last Updated:** Tue May 14, 2024 12:22 PM UTC
**Owner:** Damien


I've been seeing some strange behavior within jEdit recently while trying to use it to work on the LSP plugin. Shortly after beginning work, jEdit becomes completely unresponsive to my key presses, and I cannot for the life of me figure out why.

- This behavior normally kicks in as a result of opening the search-and-replace dialog, though I have seen it with other popups too (like Help->About jEdit...). Until I do that, typing works just fine.
- Mouse interaction within jEdit still works.
- My keyboard still works outside of jEdit.
- No plugin appears to be responsible, since I'm able to reproduce it with no plugins loaded.
- No errors appear in the activity log.
- I have seen this with both Java 11 and Java 17.

This is tested with jEdit 5.6.0 running on openSUSE Tumbleweed.

Anyone have any tips on how to debug this further? I really have no idea what's going on, and it's making jEdit borderline unusable.


---

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 ] target java version?

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

Hey there, sorry for the late reply, I had a bad flu or I would have 
answered this earlier.

Yes, we need to specify the target java version, always.
It has to be the version of the minimum Java version we required.

Currently this is still Java 11, so the target java version has to be 
set to Java 11 to prevent
newer APIs or language features to be used accidentally.
But even if we raise the minimum Java version required for example to 
Java 17, this still has to stay, just updated,
to prevent that someone that uses Java 21 locally to use incompatible 
things and so on.

I'm not sure what you think is "problematic" though.
Besides of course not being able to use newer APIs or language features.
The only problem I found building or running with Java 23 was illegal 
JavaDoc,
which I corrected now so that it also builds on newer JDKs without problem.

If the point was about using newer language features or APIs,
then we would need to raise the minimum Java requirement we have,
and with that of course also update the versions used in the build 
script after finding out
what the correct versions are for the different platform artifacts we 
are building.

Cheers
Björn

Am 26.02.2025 um 04:38 schrieb Alan Ezust:
> Is there still a need to specify target java version? What should we 
> set it to?
> Right now it is java 11 and that seems to be problematic when using 
> more modern jdks.
>
>
>
>

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

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

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-devel ] [jedit:bugs] #4142 FTP plugin not working

[Derek L C. <drb...@us...>]

I'll add that the syslog shows:
2025-03-19T09:20:44.968807-07:00 INF-DEREK-LINUX jedit.desktop[34674]: Warning: $JAVA_HOME environment variable not set! Consider setting it.
2025-03-19T09:20:44.968886-07:00 INF-DEREK-LINUX jedit.desktop[34674]:          Attempting to locate java...
2025-03-19T09:20:44.969225-07:00 INF-DEREK-LINUX jedit.desktop[34674]: Found a virtual machine at: /usr/bin/java...

But BASH shows:

$ echo $JAVA_HOME
/usr/lib/jvm/java-11-openjdk-amd64



---

**[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 03: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] #4142 FTP plugin not working

[Derek L C. <drb...@us...>]

---

**[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 03: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:plugin-bugs] #1935 FTP Dialog won't open

[Ingvi S. <in...@us...>]

Are there any news about a fix for this? I have the same problem iwth jedit 5.7.0 and Java 11.0.2 on windows


---

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

**Status:** open
**Group:** 
**Created:** Fri Feb 07, 2025 07:49 PM UTC by Dynamo Dan
**Last Updated:** Wed Mar 12, 2025 11:44 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:plugin-central-submission] #1084 FTP 1.4

[Matthieu C. <kp...@us...>]

---

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

**Status:** open
**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.

[ jEdit-devel ] [jedit:plugin-bugs] #1936 build-support.xml doesn't work with modern JDKs

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

- Description has changed:

Diff:

~~~~

--- old
+++ new
@@ -1,4 +1,4 @@
-Currently, I must use Java 11 to build jEdit or Plugins. 
+Currently, I must use Java < 15 to build plugins. 
 It would be nice if more modern JDKs were supported by our build.xml scripts. 
 
 Java 15 has removed Nashorn, you must provide an engine for running JavaScript yourself. GraalVM JavaScript currently is the preferred option.

~~~~




---

**[plugin-bugs:#1936] build-support.xml doesn't work with modern JDKs**

**Status:** open
**Group:** 
**Created:** Tue Feb 25, 2025 04:33 PM UTC by Alan Ezust
**Last Updated:** Wed Feb 26, 2025 06:51 PM UTC
**Owner:** nobody


Currently, I must use Java < 15 to build plugins. 
It would be nice if more modern JDKs were supported by our build.xml scripts. 

Java 15 has removed Nashorn, you must provide an engine for running JavaScript yourself. GraalVM JavaScript currently is the preferred option.

BUILD FAILED
/home/ezust/workspace/jedit/plugins/FTP/build.xml:30: The following error occurred while executing this line:
/home/ezust/workspace/jedit/build-support/plugin-build.xml:61: Unable to create javax script engine for javascript




---

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:plugin-bugs] #1936 build-support.xml doesn't work with modern JDKs

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

- Description has changed:

Diff:

~~~~

--- old
+++ new
@@ -1,2 +1,9 @@
 Currently, I must use Java 11 to build jEdit or Plugins. 
 It would be nice if more modern JDKs were supported by our build.xml scripts. 
+
+Java 15 has removed Nashorn, you must provide an engine for running JavaScript yourself. GraalVM JavaScript currently is the preferred option.
+
+BUILD FAILED
+/home/ezust/workspace/jedit/plugins/FTP/build.xml:30: The following error occurred while executing this line:
+/home/ezust/workspace/jedit/build-support/plugin-build.xml:61: Unable to create javax script engine for javascript
+

~~~~

- **Group**:  --> 



---

**[plugin-bugs:#1936] build-support.xml doesn't work with modern JDKs**

**Status:** open
**Group:** 
**Created:** Tue Feb 25, 2025 04:33 PM UTC by Alan Ezust
**Last Updated:** Wed Feb 26, 2025 06:50 PM UTC
**Owner:** nobody


Currently, I must use Java 11 to build jEdit or Plugins. 
It would be nice if more modern JDKs were supported by our build.xml scripts. 

Java 15 has removed Nashorn, you must provide an engine for running JavaScript yourself. GraalVM JavaScript currently is the preferred option.

BUILD FAILED
/home/ezust/workspace/jedit/plugins/FTP/build.xml:30: The following error occurred while executing this line:
/home/ezust/workspace/jedit/build-support/plugin-build.xml:61: Unable to create javax script engine for javascript




---

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:plugin-bugs] #1936 build-support.xml doesn't work with modern JDKs

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

The main issue is this:
Java 15 has removed Nashorn, you must provide an engine for running JavaScript yourself. GraalVM JavaScript currently is the preferred option.

BUILD FAILED
/home/ezust/workspace/jedit/plugins/FTP/build.xml:30: The following error occurred while executing this line:
/home/ezust/workspace/jedit/build-support/plugin-build.xml:61: Unable to create javax script engine for javascript



---

**[plugin-bugs:#1936] build-support.xml doesn't work with modern JDKs**

**Status:** open
**Group:** 
**Created:** Tue Feb 25, 2025 04:33 PM UTC by Alan Ezust
**Last Updated:** Wed Feb 26, 2025 03:36 PM UTC
**Owner:** nobody


Currently, I must use Java 11 to build jEdit or Plugins. 
It would be nice if more modern JDKs were supported by our build.xml scripts. 



---

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.

Re: [ jEdit-devel ] target java version?

[Alan E. <ala...@gm...>]

Oops. Ignore previous message. I didn't have the correct PATH set up.


On Wed, Feb 26, 2025 at 10:41 AM Alan Ezust <ala...@gm...> wrote:

> Also, when I set the target java version to 17 (for example), I get
> "release version 17 not supported"
> I don't understand why yet.
>
>
> On Tue, Feb 25, 2025 at 7:38 PM Alan Ezust <ala...@gm...> wrote:
>
>> Is there still a need to specify target java version? What should we set
>> it to?
>> Right now it is java 11 and that seems to be problematic when using more
>> modern jdks.
>>
>>
>>

Re: [ jEdit-devel ] target java version?

[Alan E. <ala...@gm...>]

Also, when I set the target java version to 17 (for example), I get
"release version 17 not supported"
I don't understand why yet.


On Tue, Feb 25, 2025 at 7:38 PM Alan Ezust <ala...@gm...> wrote:

> Is there still a need to specify target java version? What should we set
> it to?
> Right now it is java 11 and that seems to be problematic when using more
> modern jdks.
>
>
>

[ jEdit-devel ] [jedit:plugin-bugs] #1936 build-support.xml doesn't work with modern JDKs

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

openjdk 15 also works, but it disappeared from ubuntu repos (tar.gz available via  https://github.com/AdoptOpenJDK/openjdk15-binaries)

It would be nice to bump the version dependency to Java 21 (latest LTS) or Java 17 (previous LTS). 

Regarding availability in major Linux distros:
- both are available with RHEL 8 onwards
- both are available on Ubuntu Focal Fossa (20.04) onwards
- 21 is not available on Debian stable
- both are available as community packages on SEL


Version | Oracle support | Red Hat Support
---------- | ---------- | ------ 
21      |  	September 2028       | December 31, 2029
17      | September 2026       | October 31, 2027

Ref:
- [Oracle](https://www.oracle.com/fr/java/technologies/java-se-support-roadmap.html)
- [Red Hat](https://access.redhat.com/articles/1299013#OpenJDK_Life_Cycle)
- [Ubuntu](https://wiki.ubuntu.com/OpenJDK-Updates)


---

**[plugin-bugs:#1936] build-support.xml doesn't work with modern JDKs**

**Status:** open
**Group:** 
**Created:** Tue Feb 25, 2025 04:33 PM UTC by Alan Ezust
**Last Updated:** Tue Feb 25, 2025 04:33 PM UTC
**Owner:** nobody


Currently, I must use Java 11 to build jEdit or Plugins. 
It would be nice if more modern JDKs were supported by our build.xml scripts. 



---

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:plugin-bugs] Re: #1936 build-support.xml doesn't work with modern JDKs

[Dale A. <dal...@us...>]

I suggest we bump minimum version to at least Java 17 or 19. Java 11 was
end of life last October.

On Tue, Feb 25, 2025, 9:33 AM Alan Ezust <ez...@us...>
wrote:

> ------------------------------
>
> *[plugin-bugs:#1936] <https://sourceforge.net/p/jedit/plugin-bugs/1936/>
> build-support.xml doesn't work with modern JDKs*
>
> *Status:* open
> *Group:*
> *Created:* Tue Feb 25, 2025 04:33 PM UTC by Alan Ezust
> *Last Updated:* Tue Feb 25, 2025 04:33 PM UTC
> *Owner:* nobody
>
> Currently, I must use Java 11 to build jEdit or Plugins.
> It would be nice if more modern JDKs were supported by our build.xml
> scripts.
> ------------------------------
>
> Sent from sourceforge.net because you indicated interest in
> https://sourceforge.net/p/jedit/plugin-bugs/1936/
>
> To unsubscribe from further messages, please visit
> https://sourceforge.net/auth/subscriptions/
>



---

**[plugin-bugs:#1936] build-support.xml doesn't work with modern JDKs**

**Status:** open
**Group:** 
**Created:** Tue Feb 25, 2025 04:33 PM UTC by Alan Ezust
**Last Updated:** Tue Feb 25, 2025 04:33 PM UTC
**Owner:** nobody


Currently, I must use Java 11 to build jEdit or Plugins. 
It would be nice if more modern JDKs were supported by our build.xml scripts. 



---

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 ] target java version?

[Alan E. <ala...@gm...>]

Is there still a need to specify target java version? What should we set it
to?
Right now it is java 11 and that seems to be problematic when using more
modern jdks.

[ jEdit-devel ] [jedit:patches] #634 Build failing due to JavaDoc linting under recent OpenJDK 19+ (except Ubuntu)

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

I tried building with openjdk 22 and I get this:
compile:
   [depend] Deleted 1 out of date files in 1 seconds
    [javac] Compiling 585 source files to /home/ezust/workspace/jedit/trunk/build/classes/core
    [javac] error: release version 11 not supported
    [javac] Usage: javac <options> <source files>
    [javac] use --help for a list of possible options

BUILD FAILED
/home/ezust/workspace/jedit/trunk/build.xml:247: Compile failed; see the compiler error output for details.



---

**[patches:#634] Build failing due to JavaDoc linting under recent OpenJDK 19+ (except Ubuntu)**

**Status:** open
**Group:** 
**Created:** Fri Mar 08, 2024 08:42 PM UTC by Mike Clark
**Last Updated:** Fri Mar 08, 2024 08:42 PM UTC
**Owner:** nobody
**Attachments:**

- [build.xml_javadoc.patch](https://sourceforge.net/p/jedit/patches/634/attachment/build.xml_javadoc.patch) (4.4 kB; text/plain)


Build is failing due to JavaDoc linting under recent OpenJDK 19+ (except Ubuntu). This patch is on one file, build.xml:

* disables JavaDoc linting in build.xml 
* moved the core of  target `generate-javadoc` to a new target `nodeps-generate-javadoc`. This new target can be run standalone (after compiling) which makes it faster to iterate on testing changes to the JavaDoc (in case someone wants to take on fixing the JavaDoc lint errors).
* `generate-javadoc` now `<antcall>`s  `nodeps-generate-javadoc` where it used to contain the logic inline
* the core `compile` classpath is now pulled from a globally defined path id, instead of defining the path inside the target. `compile` was always creating a globally referenceable path id, but that's inconvenient if you want to run or write a target that doesn't call compile.


---

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.

Re: [ jEdit-devel ] encoding options pane - default line separator combobox empty?

[Robert S. <Rob...@ka...>]

<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div class="moz-cite-prefix">Same on Windows 11, Java 21.</div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix">Robert</div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix">Am 25.02.2025 um 16:38 schrieb Dale
      Anson:<br>
    </div>
    <blockquote type="cite"
cite="mid:CAH...@ma...">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <div dir="ltr">It's not just you, it's empty.</div>
      <br>
      <div class="gmail_quote gmail_quote_container">
        <div dir="ltr" class="gmail_attr">On Tue, Feb 25, 2025 at
          7:54 AM Alan Ezust &lt;<a href="mailto:ala...@gm..."
            moz-do-not-send="true" class="moz-txt-link-freetext">ala...@gm...</a>&gt;
          wrote:<br>
        </div>
        <blockquote class="gmail_quote"
style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
          <div dir="ltr">
            <div>Is it just me, or are other people seeing that too?
              jEdit 5.7 on linux. </div>
            <div><br>
            </div>
            <div><br>
            </div>
          </div>
          -- <br>
          -----------------------------------------------<br>
          jEdit Developers' List<br>
          <a href="mailto:jEd...@li..."
            target="_blank" moz-do-not-send="true"
            class="moz-txt-link-freetext">jEd...@li...</a><br>
          <a
href="https://lists.sourceforge.net/lists/listinfo/jedit-devel"
            rel="noreferrer" target="_blank" moz-do-not-send="true"
            class="moz-txt-link-freetext">https://lists.sourceforge.net/lists/listinfo/jedit-devel</a><br>
        </blockquote>
      </div>
      <br>
      <fieldset class="moz-mime-attachment-header"></fieldset>
      <br>
      <fieldset class="moz-mime-attachment-header"></fieldset>
    </blockquote>
    <p><br>
    </p>
    <pre class="moz-signature" cols="80">-- 
Mit freundlichen Grüßen
Robert Schwenn
Augustusweg 10a
01445 Radebeul
0152 / 26 24 25 97</pre>
  </body>
</html>

[ jEdit-devel ] [jedit:plugin-bugs] #1936 build-support.xml doesn't work with modern JDKs

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

---

**[plugin-bugs:#1936] build-support.xml doesn't work with modern JDKs**

**Status:** open
**Group:** 
**Created:** Tue Feb 25, 2025 04:33 PM UTC by Alan Ezust
**Last Updated:** Tue Feb 25, 2025 04:33 PM UTC
**Owner:** nobody


Currently, I must use Java 11 to build jEdit or Plugins. 
It would be nice if more modern JDKs were supported by our build.xml scripts. 



---

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.

Re: [ jEdit-devel ] encoding options pane - default line separator combobox empty?

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

Looks like it's supposed to load from properties, but the properties aren't
set.

On Tue, Feb 25, 2025 at 8:38 AM Dale Anson <da...@da...> wrote:

> It's not just you, it's empty.
>
> On Tue, Feb 25, 2025 at 7:54 AM Alan Ezust <ala...@gm...> wrote:
>
>> Is it just me, or are other people seeing that too? jEdit 5.7 on linux.
>>
>>
>> --
>> -----------------------------------------------
>> jEdit Developers' List
>> jEd...@li...
>> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>>
>

Re: [ jEdit-devel ] encoding options pane - default line separator combobox empty?

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

It's not just you, it's empty.

On Tue, Feb 25, 2025 at 7:54 AM Alan Ezust <ala...@gm...> wrote:

> Is it just me, or are other people seeing that too? jEdit 5.7 on linux.
>
>
> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>

[ jEdit-devel ] encoding options pane - default line separator combobox empty?

[Alan E. <ala...@gm...>]

Is it just me, or are other people seeing that too? jEdit 5.7 on linux.

[ jEdit-devel ] [jedit:plugin-bugs] #1925 Templates plugin

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

- **status**: pending --> closed-fixed
- **Comment**:

indeed



---

**[plugin-bugs:#1925] Templates plugin**

**Status:** closed-fixed
**Group:** 
**Created:** Mon Mar 11, 2024 10:00 AM UTC by Martin Raspe
**Last Updated:** Wed Feb 19, 2025 08:03 PM UTC
**Owner:** nobody


Hi Steve,

for my personal needs I made some modifications your "Templates" plugin, fixing a few bugs and improving the user interaction. Here is a list:

- keyboard bindings for template actions were not initialized
- keyboard shortcuts for templates were not functioning before opening the Plugins->Templates menu
- replaced the serial naming scheme for template actions; now shortcuts are no longer reassigned when new templates are added
- template accelerators were not saved
- added missing title and message properties for accelerator dialogs in dockable
- improved usability of accelerator option pane

Now I feel my changes are stable and might be useful to all jEdit users.  What do you think: Should I just check the changed code into the SVN repo and prepare a release as described here: http://plugins.jedit.org/releasing.php ? Or would you like to see/try my changes first?

Thanks

Martin


---

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.

Re: [ jEdit-devel ] [jedit:plugin-central-submission] #1083 TaskList 2.7

[Robert S. <Rob...@ka...>]

<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div class="moz-cite-prefix">Works like a charm. Thank You, Dale.</div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix">Robert</div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix">Am 19.02.2025 um 22:25 schrieb Dale
      Anson:<br>
    </div>
    <blockquote type="cite"
cite="mid:CAH...@ma...">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <div dir="ltr">You can install it manually, download the zip file
        from:
        <div><br>
        </div>
        <div><a
href="https://sourceforge.net/projects/jedit-plugins/files/TaskList/2.7.0/TaskList-2.7.0.zip/download"
            moz-do-not-send="true" class="moz-txt-link-freetext">https://sourceforge.net/projects/jedit-plugins/files/TaskList/2.7.0/TaskList-2.7.0.zip/download</a></div>
        <div><br>
        </div>
        <div>Unzip the file then copy TaskList.jar to ~/.jedit/jars, or
          the appropriate place for your OS. You can find the
          appropriate place by running jEdit, then check the Utilities -
          Settings Directory. The top item on that menu tells you where
          the .jedit folder is.</div>
        <div><br>
        </div>
        <div>Hope this helps,</div>
        <div><br>
        </div>
        <div>Dale</div>
        <div><br>
        </div>
        <div><br>
        </div>
      </div>
      <br>
      <div class="gmail_quote gmail_quote_container">
        <div dir="ltr" class="gmail_attr">On Wed, Feb 19, 2025 at
          1:48 PM Robert Schwenn &lt;<a
            href="mailto:Rob...@ka..."
            moz-do-not-send="true" class="moz-txt-link-freetext">Rob...@ka...</a>&gt;
          wrote:<br>
        </div>
        <blockquote class="gmail_quote"
style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
          <div>
            <div>Hi,</div>
            <div>I have sometimes tried to install TaskList 2.7 via
              Plugin Manager, so right now. But whenever I try it, I get
              a download error, no matter which mirror is used.
              Installing other plugins works well. Is there another way
              to get the binaries?<br>
            </div>
            <div><br>
            </div>
            <div>Robert<br>
            </div>
            <div><br>
            </div>
            <div><br>
            </div>
            <div>Am 23.10.2024 um 17:38 schrieb Eric Le Lay via
              jEdit-devel:<br>
            </div>
            <blockquote type="cite">
              <div>
                <ul>
                  <li><strong>status</strong>: open --&gt;
                    closed-accepted</li>
                  <li><strong>assigned_to</strong>: Eric Le Lay</li>
                  <li><strong>Comment</strong>:</li>
                </ul>
                <p>Thanks, released to plugin central.<br>
                  You might want to add a 2.7 changelog entry in
                  documentation, but since no behaviour changed I
                  released without it.</p>
                <hr>
                <p><strong><a
href="https://sourceforge.net/p/jedit/plugin-central-submission/1083/"
                      target="_blank" moz-do-not-send="true">[plugin-central-submission:#1083]</a>
                    TaskList 2.7</strong></p>
                <p><strong>Status:</strong> closed-accepted<br>
                  <strong>Group:</strong> None<br>
                  <strong>Created:</strong> Sat Oct 19, 2024 08:28 PM
                  UTC by Dale Anson<br>
                  <strong>Last Updated:</strong> Sat Oct 19, 2024 08:28
                  PM UTC<br>
                  <strong>Owner:</strong> Eric Le Lay</p>
                <p>{{{ TaskList 2.7<br>
                  Source: Source code is in SVN with the tag
                  TaskList_2_7_0 (no SVN release numbers, please)<br>
                  Announcement: <br>
                  Requires Java 11<br>
                  Requires jEdit 05.07.00.00<br>
                  Required plugins: <br>
                  CommonControlsPlugin 1.7.4</p>
                <div>
                  <pre><span></span><code>Optional plugins:
</code></pre>
                </div>
                <p>projectviewer.ProjectPlugin 3.5.3</p>
                <div>
                  <pre><span></span><code>Short Description: Shows all "TODO" comments in a file.

Long Description: &lt;html&gt;
</code></pre>
                </div>
                The TaskList plugin finds all the "to do" items and
                presents them in a clickable tree format, which makes it
                easy to jump directly to those items. What counts as a
                "to do" item is highly customizable, so it is possible
                to have items as simple as "FIXME" and as complex as
                "Chapter 1, Section 1". It has the ability to parse
                entire files, so it can act as a document outliner
                similar to Sidekick. It is also very useful as a set of
                bookmarks in code and other documentation.
                <p><br>
                  }}}</p>
                <hr>
                <p>Sent from <a href="http://sourceforge.net"
                    target="_blank" moz-do-not-send="true">sourceforge.net</a>
                  because <a
                    href="mailto:jed...@li..."
                    target="_blank" moz-do-not-send="true"
                    class="moz-txt-link-freetext">jed...@li...</a>
                  is subscribed to <a
href="https://sourceforge.net/p/jedit/plugin-central-submission/"
                    target="_blank" moz-do-not-send="true"
                    class="moz-txt-link-freetext">https://sourceforge.net/p/jedit/plugin-central-submission/</a></p>
                <p>To unsubscribe from further messages, a project admin
                  can change settings at <a
href="https://sourceforge.net/p/jedit/admin/plugin-central-submission/options."
                    target="_blank" moz-do-not-send="true"
                    class="moz-txt-link-freetext">https://sourceforge.net/p/jedit/admin/plugin-central-submission/options.</a>
                  Or, if this is a mailing list, you can unsubscribe
                  from the mailing list.</p>
              </div>
              <br>
              <fieldset></fieldset>
              <br>
              <fieldset></fieldset>
            </blockquote>
            <p><br>
            </p>
            <pre cols="80">-- 
Mit freundlichen Grüßen
Robert Schwenn
Augustusweg 10a
01445 Radebeul
0152 / 26 24 25 97</pre>
          </div>
          -- <br>
          -----------------------------------------------<br>
          jEdit Developers' List<br>
          <a href="mailto:jEd...@li..."
            target="_blank" moz-do-not-send="true"
            class="moz-txt-link-freetext">jEd...@li...</a><br>
          <a
href="https://lists.sourceforge.net/lists/listinfo/jedit-devel"
            rel="noreferrer" target="_blank" moz-do-not-send="true"
            class="moz-txt-link-freetext">https://lists.sourceforge.net/lists/listinfo/jedit-devel</a><br>
        </blockquote>
      </div>
    </blockquote>
    <p><br>
    </p>
    <pre class="moz-signature" cols="80">-- 
Mit freundlichen Grüßen
Robert Schwenn
Augustusweg 10a
01445 Radebeul
0152 / 26 24 25 97</pre>
  </body>
</html>