jedit-devel Mailing List for jEdit

The problem you are trying to solve: allowing for the user to change autosave directories and using the old one for existing buffers, is not a solution that works for non-untitled buffers. 
Personally, I don't think it is an important problem to solve - when the autosave happens, it could read the autosave directory again from the properties, and then use the latest location  for subsequent autosaves. Then it would work the same way as it does for non-untitled buffers, and after 30 seconds you don't care what the old value was anymore.



---

** [patches:#596] #501 Auto-save untitled buffers - patch**

**Status:** pending-remind
**Group:** 
**Labels:** untitled autosave 
**Created:** Fri Feb 17, 2017 05:34 PM UTC by Hrotkó Gábor
**Last Updated:** Thu Jun 29, 2017 09:42 PM UTC
**Owner:** Alan Ezust
**Attachments:**

- [saveUntitled.patch](https://sourceforge.net/p/jedit/patches/596/attachment/saveUntitled.patch) (22.0 kB; text/x-patch)


I created a patch for the feature request: "#501 Auto-save untitled buffers".
Altough the settings "Autosave untitled buffers" exists, but not working like described in the feature request.
My patch extends this feature, when "Autosave untitled buffers" checked (default):
- the untitled buffers will be autosaved when closing jedit, without a question prompt
- the autosave for an untitled buffer saved to <jedit_settings_dir>/autosave, and reloaded after a restart (the state persisted to the perspective.xml)
- closing an untitled buffer by hand removes the autosave file

Tested on windows7 and linux also.
The patch is against revision 24609.
Please review.
Thanks!


---

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.

I am testing your patch and so far, it seems to work as I asked as long as I don't look into the perspective file :-)




---

** [patches:#596] #501 Auto-save untitled buffers - patch**

**Status:** pending-remind
**Group:** 
**Labels:** untitled autosave 
**Created:** Fri Feb 17, 2017 05:34 PM UTC by Hrotkó Gábor
**Last Updated:** Thu Jun 29, 2017 09:42 PM UTC
**Owner:** Alan Ezust
**Attachments:**

- [saveUntitled.patch](https://sourceforge.net/p/jedit/patches/596/attachment/saveUntitled.patch) (22.0 kB; text/x-patch)


I created a patch for the feature request: "#501 Auto-save untitled buffers".
Altough the settings "Autosave untitled buffers" exists, but not working like described in the feature request.
My patch extends this feature, when "Autosave untitled buffers" checked (default):
- the untitled buffers will be autosaved when closing jedit, without a question prompt
- the autosave for an untitled buffer saved to <jedit_settings_dir>/autosave, and reloaded after a restart (the state persisted to the perspective.xml)
- closing an untitled buffer by hand removes the autosave file

Tested on windows7 and linux also.
The patch is against revision 24609.
Please review.
Thanks!


---

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.

I think the autosaves should go in the same folder as backups of buffers in that path: relative path from the autosave/backup dir, for untitleds and regular buffers both. 


---

** [patches:#596] #501 Auto-save untitled buffers - patch**

**Status:** pending-remind
**Group:** 
**Labels:** untitled autosave 
**Created:** Fri Feb 17, 2017 05:34 PM UTC by Hrotkó Gábor
**Last Updated:** Thu Jun 29, 2017 09:42 PM UTC
**Owner:** Alan Ezust
**Attachments:**

- [saveUntitled.patch](https://sourceforge.net/p/jedit/patches/596/attachment/saveUntitled.patch) (22.0 kB; text/x-patch)


I created a patch for the feature request: "#501 Auto-save untitled buffers".
Altough the settings "Autosave untitled buffers" exists, but not working like described in the feature request.
My patch extends this feature, when "Autosave untitled buffers" checked (default):
- the untitled buffers will be autosaved when closing jedit, without a question prompt
- the autosave for an untitled buffer saved to <jedit_settings_dir>/autosave, and reloaded after a restart (the state persisted to the perspective.xml)
- closing an untitled buffer by hand removes the autosave file

Tested on windows7 and linux also.
The patch is against revision 24609.
Please review.
Thanks!


---

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.

I think that when the autosave/backup directory is changed, it could popup a dialog that advises the user to restart jEdit to ensure all buffers are closed/opened again, to avoid old buffers autosaving to the wrong location. Your solution is only addressing untitled buffers.

Testing this latest patch, autosave untitleds are correctly restored but only when the autosave/backup directory is set. If it is left blank, the autosaves are stored in the wrong place - your default location instead of the untitled buffer's location.






---

** [patches:#596] #501 Auto-save untitled buffers - patch**

**Status:** pending-remind
**Group:** 
**Labels:** untitled autosave 
**Created:** Fri Feb 17, 2017 05:34 PM UTC by Hrotkó Gábor
**Last Updated:** Thu Jun 29, 2017 09:42 PM UTC
**Owner:** Alan Ezust
**Attachments:**

- [saveUntitled.patch](https://sourceforge.net/p/jedit/patches/596/attachment/saveUntitled.patch) (22.0 kB; text/x-patch)


I created a patch for the feature request: "#501 Auto-save untitled buffers".
Altough the settings "Autosave untitled buffers" exists, but not working like described in the feature request.
My patch extends this feature, when "Autosave untitled buffers" checked (default):
- the untitled buffers will be autosaved when closing jedit, without a question prompt
- the autosave for an untitled buffer saved to <jedit_settings_dir>/autosave, and reloaded after a restart (the state persisted to the perspective.xml)
- closing an untitled buffer by hand removes the autosave file

Tested on windows7 and linux also.
The patch is against revision 24609.
Please review.
Thanks!


---

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.

I tested your requirement, and the full behavior is only possible with my patch: saveUntitled_24718.patch.
I tried to prepare another patch with less code modifications, but there is a problem: if you change the backup/autosave while creating untitled buffers, you cannot get the right paths back without storing it into the perspective.
Please try to create an untitled buffer, then restart, then change the backup/autosave path, then create another untitled buffer, then restart ...
That is why I created my patch that way.


---

** [patches:#596] #501 Auto-save untitled buffers - patch**

**Status:** pending-remind
**Group:** 
**Labels:** untitled autosave 
**Created:** Fri Feb 17, 2017 05:34 PM UTC by Hrotkó Gábor
**Last Updated:** Wed Jun 28, 2017 08:51 PM UTC
**Owner:** Alan Ezust
**Attachments:**

- [saveUntitled.patch](https://sourceforge.net/p/jedit/patches/596/attachment/saveUntitled.patch) (22.0 kB; text/x-patch)


I created a patch for the feature request: "#501 Auto-save untitled buffers".
Altough the settings "Autosave untitled buffers" exists, but not working like described in the feature request.
My patch extends this feature, when "Autosave untitled buffers" checked (default):
- the untitled buffers will be autosaved when closing jedit, without a question prompt
- the autosave for an untitled buffer saved to <jedit_settings_dir>/autosave, and reloaded after a restart (the state persisted to the perspective.xml)
- closing an untitled buffer by hand removes the autosave file

Tested on windows7 and linux also.
The patch is against revision 24609.
Please review.
Thanks!


---

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.

Trunk does not save the correct location of the untitled buffer to the perspective.
Instead it saves the location of the backup/autosave directory, so the original untitled buffer path is lost.


---

** [patches:#596] #501 Auto-save untitled buffers - patch**

**Status:** pending-remind
**Group:** 
**Labels:** untitled autosave 
**Created:** Fri Feb 17, 2017 05:34 PM UTC by Hrotkó Gábor
**Last Updated:** Wed Jun 28, 2017 08:51 PM UTC
**Owner:** Alan Ezust
**Attachments:**

- [saveUntitled.patch](https://sourceforge.net/p/jedit/patches/596/attachment/saveUntitled.patch) (22.0 kB; text/x-patch)


I created a patch for the feature request: "#501 Auto-save untitled buffers".
Altough the settings "Autosave untitled buffers" exists, but not working like described in the feature request.
My patch extends this feature, when "Autosave untitled buffers" checked (default):
- the untitled buffers will be autosaved when closing jedit, without a question prompt
- the autosave for an untitled buffer saved to <jedit_settings_dir>/autosave, and reloaded after a restart (the state persisted to the perspective.xml)
- closing an untitled buffer by hand removes the autosave file

Tested on windows7 and linux also.
The patch is against revision 24609.
Please review.
Thanks!


---

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.

Trunk does not *save* the correct location of the untitled buffer to the perspective.
Instead it saves the location of the autosave.



---

** [patches:#596] #501 Auto-save untitled buffers - patch**

**Status:** pending-remind
**Group:** 
**Labels:** untitled autosave 
**Created:** Fri Feb 17, 2017 05:34 PM UTC by Hrotkó Gábor
**Last Updated:** Wed Jun 28, 2017 08:51 PM UTC
**Owner:** Alan Ezust
**Attachments:**

- [saveUntitled.patch](https://sourceforge.net/p/jedit/patches/596/attachment/saveUntitled.patch) (22.0 kB; text/x-patch)


I created a patch for the feature request: "#501 Auto-save untitled buffers".
Altough the settings "Autosave untitled buffers" exists, but not working like described in the feature request.
My patch extends this feature, when "Autosave untitled buffers" checked (default):
- the untitled buffers will be autosaved when closing jedit, without a question prompt
- the autosave for an untitled buffer saved to <jedit_settings_dir>/autosave, and reloaded after a restart (the state persisted to the perspective.xml)
- closing an untitled buffer by hand removes the autosave file

Tested on windows7 and linux also.
The patch is against revision 24609.
Please review.
Thanks!


---

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.

I think, now the code in trunk, restores the correct path. I tested it now.
We can forget my feature request.


---

** [patches:#596] #501 Auto-save untitled buffers - patch**

**Status:** pending-remind
**Group:** 
**Labels:** untitled autosave 
**Created:** Fri Feb 17, 2017 05:34 PM UTC by Hrotkó Gábor
**Last Updated:** Wed Jun 28, 2017 08:51 PM UTC
**Owner:** Alan Ezust
**Attachments:**

- [saveUntitled.patch](https://sourceforge.net/p/jedit/patches/596/attachment/saveUntitled.patch) (22.0 kB; text/x-patch)


I created a patch for the feature request: "#501 Auto-save untitled buffers".
Altough the settings "Autosave untitled buffers" exists, but not working like described in the feature request.
My patch extends this feature, when "Autosave untitled buffers" checked (default):
- the untitled buffers will be autosaved when closing jedit, without a question prompt
- the autosave for an untitled buffer saved to <jedit_settings_dir>/autosave, and reloaded after a restart (the state persisted to the perspective.xml)
- closing an untitled buffer by hand removes the autosave file

Tested on windows7 and linux also.
The patch is against revision 24609.
Please review.
Thanks!


---

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.

I just want to see the correct buffer path saved and restored from the perspective, untitled or not when autosave is used. 
I recommend you make a feature request to describe what other thing you want.




---

** [patches:#596] #501 Auto-save untitled buffers - patch**

**Status:** pending-remind
**Group:** 
**Labels:** untitled autosave 
**Created:** Fri Feb 17, 2017 05:34 PM UTC by Hrotkó Gábor
**Last Updated:** Wed Jun 28, 2017 08:51 PM UTC
**Owner:** Alan Ezust
**Attachments:**

- [saveUntitled.patch](https://sourceforge.net/p/jedit/patches/596/attachment/saveUntitled.patch) (22.0 kB; text/x-patch)


I created a patch for the feature request: "#501 Auto-save untitled buffers".
Altough the settings "Autosave untitled buffers" exists, but not working like described in the feature request.
My patch extends this feature, when "Autosave untitled buffers" checked (default):
- the untitled buffers will be autosaved when closing jedit, without a question prompt
- the autosave for an untitled buffer saved to <jedit_settings_dir>/autosave, and reloaded after a restart (the state persisted to the perspective.xml)
- closing an untitled buffer by hand removes the autosave file

Tested on windows7 and linux also.
The patch is against revision 24609.
Please review.
Thanks!


---

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.

Ok, from your perspective, what is left to be done for this feature to be accepted?


---

** [patches:#596] #501 Auto-save untitled buffers - patch**

**Status:** pending-remind
**Group:** 
**Labels:** untitled autosave 
**Created:** Fri Feb 17, 2017 05:34 PM UTC by Hrotkó Gábor
**Last Updated:** Tue Jun 20, 2017 09:11 PM UTC
**Owner:** Alan Ezust
**Attachments:**

- [saveUntitled.patch](https://sourceforge.net/p/jedit/patches/596/attachment/saveUntitled.patch) (22.0 kB; text/x-patch)


I created a patch for the feature request: "#501 Auto-save untitled buffers".
Altough the settings "Autosave untitled buffers" exists, but not working like described in the feature request.
My patch extends this feature, when "Autosave untitled buffers" checked (default):
- the untitled buffers will be autosaved when closing jedit, without a question prompt
- the autosave for an untitled buffer saved to <jedit_settings_dir>/autosave, and reloaded after a restart (the state persisted to the perspective.xml)
- closing an untitled buffer by hand removes the autosave file

Tested on windows7 and linux also.
The patch is against revision 24609.
Please review.
Thanks!


---

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.

I don't like this patch. You are adding a new field to the perspective when it is not necessary. Just save the correct location of the original UNTITLED buffer in the perspective, and then SEARCH for autosaves checking where  getAutosaveDirectory() tells you to go for that buffer.
I don't like untitled buffers being autosaved in a different way from regular autosaves. 



---

** [patches:#596] #501 Auto-save untitled buffers - patch**

**Status:** pending-remind
**Group:** 
**Labels:** untitled autosave 
**Created:** Fri Feb 17, 2017 05:34 PM UTC by Hrotkó Gábor
**Last Updated:** Tue Jun 20, 2017 09:11 PM UTC
**Owner:** Alan Ezust
**Attachments:**

- [saveUntitled.patch](https://sourceforge.net/p/jedit/patches/596/attachment/saveUntitled.patch) (22.0 kB; text/x-patch)


I created a patch for the feature request: "#501 Auto-save untitled buffers".
Altough the settings "Autosave untitled buffers" exists, but not working like described in the feature request.
My patch extends this feature, when "Autosave untitled buffers" checked (default):
- the untitled buffers will be autosaved when closing jedit, without a question prompt
- the autosave for an untitled buffer saved to <jedit_settings_dir>/autosave, and reloaded after a restart (the state persisted to the perspective.xml)
- closing an untitled buffer by hand removes the autosave file

Tested on windows7 and linux also.
The patch is against revision 24609.
Please review.
Thanks!


---

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.

https://sourceforge.net/p/jedit/plugin-bugs/1885/


---

** [plugin-central-submission:#569] Scalac Plugin 1.1.0**

**Status:** closed
**Group:** 
**Created:** Tue Jul 28, 2009 03:44 PM UTC by Vlad Seryakov
**Last Updated:** Thu Jun 22, 2017 10:22 PM UTC
**Owner:** Townsfolk


Paste the text below into the Plugin Central Submission Tracker at https://sourceforge.net/tracker/?group\_id=588&atid=625093

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

\{\{\{ Scalac 1.1.0
Source: Source code is in Mercurial https://vseryakov@bitbucket.org/vseryakov/scalac-jedit/ with tag 1.1.0
Announcement: 
Requires Java 1.5
Requires jEdit 04.03.07.00
Required plugins: 
console.ConsolePlugin 4.3.8
errorlist.ErrorListPlugin 1.7

Short Description: Scala Plugin for compilation of Scala files inside the editor without invoking external scalac compiler

Long Description: <html>
The ScalacPlugin is embedded Scala compiler that runs inside jEdit's JVM which results 
in faster compilation times because no external jvm is called. It is integrated with 
Console and ErrorList plugins to handle output and error navigation.
</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.

Here is my patch so far:


Attachments:

- [patch.diff](https://sourceforge.net/p/jedit/plugin-central-submission/_discuss/thread/5b3872f0/cb23/attachment/patch.diff) (2.2 kB; text/x-patch)


---

** [plugin-central-submission:#569] Scalac Plugin 1.1.0**

**Status:** closed
**Group:** 
**Created:** Tue Jul 28, 2009 03:44 PM UTC by Vlad Seryakov
**Last Updated:** Thu Jun 22, 2017 10:19 PM UTC
**Owner:** Townsfolk


Paste the text below into the Plugin Central Submission Tracker at https://sourceforge.net/tracker/?group\_id=588&atid=625093

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

\{\{\{ Scalac 1.1.0
Source: Source code is in Mercurial https://vseryakov@bitbucket.org/vseryakov/scalac-jedit/ with tag 1.1.0
Announcement: 
Requires Java 1.5
Requires jEdit 04.03.07.00
Required plugins: 
console.ConsolePlugin 4.3.8
errorlist.ErrorListPlugin 1.7

Short Description: Scala Plugin for compilation of Scala files inside the editor without invoking external scalac compiler

Long Description: <html>
The ScalacPlugin is embedded Scala compiler that runs inside jEdit's JVM which results 
in faster compilation times because no external jvm is called. It is integrated with 
Console and ErrorList plugins to handle output and error navigation.
</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.

Hi Vlad, would you mind updating your plugin to more recent versions of scalac, jetty, etc, and also jEdit? The current release no longer works due to jedit binary breakages.

I checked out your github repo for it, and started to fix things on my side, but the build.xml fails right now, downloading jetty. I guess we should be using ivy to get dependent jars now.



---

** [plugin-central-submission:#569] Scalac Plugin 1.1.0**

**Status:** closed
**Group:** 
**Created:** Tue Jul 28, 2009 03:44 PM UTC by Vlad Seryakov
**Last Updated:** Wed Jul 29, 2009 06:19 PM UTC
**Owner:** Townsfolk


Paste the text below into the Plugin Central Submission Tracker at https://sourceforge.net/tracker/?group\_id=588&atid=625093

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

\{\{\{ Scalac 1.1.0
Source: Source code is in Mercurial https://vseryakov@bitbucket.org/vseryakov/scalac-jedit/ with tag 1.1.0
Announcement: 
Requires Java 1.5
Requires jEdit 04.03.07.00
Required plugins: 
console.ConsolePlugin 4.3.8
errorlist.ErrorListPlugin 1.7

Short Description: Scala Plugin for compilation of Scala files inside the editor without invoking external scalac compiler

Long Description: <html>
The ScalacPlugin is embedded Scala compiler that runs inside jEdit's JVM which results 
in faster compilation times because no external jvm is called. It is integrated with 
Console and ErrorList plugins to handle output and error navigation.
</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.

---

** [plugin-central-submission:#1031] JavaScriptShell 0.4**

**Status:** open
**Group:** None
**Created:** Thu Jun 22, 2017 10:00 PM UTC by Alan Ezust
**Last Updated:** Thu Jun 22, 2017 10:00 PM UTC
**Owner:** nobody


Paste the text below into the Plugin Central Submission Tracker at https://sourceforge.net/tracker/?group_id=588&atid=625093

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

{{{ JavaScriptShell 0.4
    Source: Source code is in SVN with the tag tags/JavaScriptShell-0.4
    Announcement: Version 0.4
            jdk.nashorn.api.scripting.* is used. Plugin no longer conflicts with other jars having JSR-223 inside. (Zigmantas Kryzius)
        
            Fixed bug #1964864, macros appearing in the menu with full paths, instead of filenames. (patch #2885757, Steve Gough)
        
    Requires Java 1.8
    Requires jEdit 05.03.00.00
    Required plugins: 
        Console 5.1.4 (console.ConsolePlugin)
    
    Short Description: Provides an interactive JavaScript console and allows macros and startup scripts to be written in JavaScript.
    
    Long Description: <html>
	<p>The JavaScriptShell plugin adds to jEdit a new script handler so you can write macros and startup scripts in JavaScript. It also adds JavaScript shell to the console interface provided by the Console Plugin.</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.

It would only need a rebuild to solve this problem.
Other problem are scala 2.7.5 is too old to compile with java 8, jetty-6.1.19.zip is nowhere to be found, so the plugin doesn't build anymore.
Code is at https://github.com/vseryakov/scalac-jedit


---

** [plugin-bugs:#1885] Scalac: Crash in jEdit 5.4.0**

**Status:** open
**Group:** 
**Created:** Tue May 09, 2017 03:09 PM UTC by Vaclav Votipka
**Last Updated:** Tue Jun 20, 2017 09:52 PM UTC
**Owner:** nobody


**jEdit version:** 5.4.0
**Scalac plugin version:** 1.1.0
**Java version:** Oracle Java 1.8.0_121
**Steps to reproduce:** run jEdit with Scalac plugin installed
**Expected result:** no error appears
**Current result:** this message appears:
~~~
/home/vaclav/.jedit/jars/ScalacPlugin.jar:
Cannot start: java.lang.NoSuchMethodError: org.gjt.sp.util.IOUtilities.closeQuietly(Ljava/io/InputStream;)V
Try updating to a newer version of the plugin.
~~~
**Activity log:**
~~~
5:07:03 PM [main] [notice] ScalacPlugin: copying resource /resources/catalog to modes/catalog
5:07:03 PM [main] [error] PluginJAR: Error while starting plugin scalac.ScalacPlugin
5:07:03 PM [main] [error] PluginJAR: java.lang.NoSuchMethodError: org.gjt.sp.util.IOUtilities.closeQuietly(Ljava/io/InputStream;)V
5:07:03 PM [main] [error] PluginJAR:  at scalac.ScalacPlugin.copyResource(scalac.scala:417)
5:07:03 PM [main] [error] PluginJAR:  at scalac.ScalacPlugin.start(scalac.scala:381)
5:07:03 PM [main] [error] PluginJAR:  at org.gjt.sp.jedit.PluginJAR.startPlugin(PluginJAR.java:1740)
5:07:03 PM [main] [error] PluginJAR:  at org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:951)
5:07:03 PM [main] [error] PluginJAR:  at org.gjt.sp.jedit.PluginJAR.activatePluginIfNecessary(PluginJAR.java:1021)
5:07:03 PM [main] [error] PluginJAR:  at org.gjt.sp.jedit.jEdit.main(jEdit.java:550)
5:07:03 PM [main] [error] ErrorListDialog$ErrorEntry: /home/vaclav/.jedit/jars/ScalacPlugin.jar:
5:07:03 PM [main] [error] ErrorListDialog$ErrorEntry: Cannot start: java.lang.NoSuchMethodError: org.gjt.sp.util.IOUtilities.closeQuietly(Ljava/io/InputStream;)V
5:07:03 PM [main] [error] ErrorListDialog$ErrorEntry: Try updating to a newer version of the plugin.
~~~



---

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.

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

HelpServer 1.1.0 release request has been created



---

** [plugin-bugs:#1886] HelpServer issues**

**Status:** closed-fixed
**Group:** 
**Created:** Tue Jun 06, 2017 07:39 PM UTC by Dale Anson
**Last Updated:** Tue Jun 20, 2017 09:51 PM UTC
**Owner:** Eric Le Lay


When I use HelpServer, I have two issues. I'm not sure if one is causing the other.

I get these lines in the activity.log:

1:28:35 PM [NanoHttpd Request Processor (#2)] [warning] HelpServer: Unable to load file:/home/danson/apps/jedit/current/doc/api/resources/tab.gif
1:28:35 PM [NanoHttpd Request Processor (#1)] [warning] HelpServer: Unable to load file:/home/danson/apps/jedit/current/doc/api/resources/background.gif
1:28:36 PM [NanoHttpd Request Processor (#3)] [warning] HelpServer: Unable to load file:/home/danson/apps/jedit/current/doc/api/resources/titlebar.gif
1:28:36 PM [NanoHttpd Request Processor (#4)] [warning] HelpServer: Unable to load file:/home/danson/apps/jedit/current/doc/api/resources/titlebar_end.gif

I'm not sure where these come from, I don't see them in the HelpServer source code.

The second issue is everytime I click something in the left pane, the browser reloads and the left pane is scrolled back to the top and all nodes are collapsed. This is a pain when I'm browsing the jEdit API docs, which are way at the bottom of the left pane.


---

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.

---

** [plugin-central-submission:#1030] HelpServer 1.1.0**

**Status:** open
**Group:** None
**Created:** Wed Jun 21, 2017 05:19 PM UTC by Eric Le Lay
**Last Updated:** Wed Jun 21, 2017 05:19 PM UTC
**Owner:** nobody


{{{ HelpServer 1.1.0
    Source: Source code is in git with the tag 1.1.0
    Announcement: Fixes chrome compatibility + silence a warning when browsing javadocs
    Requires Java 1.8
    Requires jEdit 05.04.99.00
    
    Short Description: HelpServer makes jEdit help available through http.
    
    Long Description: <html>
<body>
<p>HelpServer makes the jEdit help contents (and plugins help) available via http.
This way, it can be accessed from the user's external web browser of choice. </p>
<p>The html ui requires a javascript-enabled browser.</p>
</body>
</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.

This fix alone would be worth releasing a new version right now. The most
bugging issue I've ever had, and never realised how happy I would be if it
was fixed (as opposed to just living with it).

I always presumed it was just something I should get used to.

Thank you so much Dale!

On Tue, Jun 20, 2017 at 9:16 PM, Dale Anson via jEdit-devel <
jed...@li...> wrote:

>
>    - *status*: open --> closed-fixed
>    - *assigned_to*: Dale Anson
>    - *Comment*:
>
> Should be fixed in revision 24718. It appears the problem was a timing
> issue caused by reacting to mousePressed rather than mouseClicked.
> ------------------------------
>
> * [bugs:#4027] <https://sourceforge.net/p/jedit/bugs/4027/> Sorting files
> in the file system browser not working*
>
> *Status:* closed-fixed
> *Group:* normal bug
> *Created:* Thu Jan 19, 2017 03:04 AM UTC by Gilward Kukel
> *Last Updated:* Tue Jun 06, 2017 08:46 PM UTC
> *Owner:* Dale Anson
>
> jEdit version 5.3.0
> java.version=1.8.0_66
> java.vm.version=25.66-b17
> java.vm.name=Java HotSpot(TM) Client VM
> java.runtime.version=1.8.0_66-b17
> java.runtime.name=Java(TM) SE Runtime Environment
> java.vendor=Oracle Corporation
> java.compiler=null
> os.name=Windows 7
> os.version=6.1
> os.arch=x86
>
> When I start jEdit (even with a clean profile) and try to sort files in
> the file system browser, it does not work (until I refresh the directory)
> and errors appear in the activity log. When I go to global options and
> press OK without changing anything, the sorting works (and no errors). When
> I close jEdit and start it again, it does not work again.
> I also tried jEdit 5.3.1. Same behaviour.
>
> from activity log:
>
> [AWT-EventQueue-0] [debug] VFSDirectoryEntryTable$MouseHandler:
> VFSDirectoryEntryTable sorted by Name descending
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: Exception in thread
> "AWT-EventQueue-0"
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: java.lang.
> ArrayIndexOutOfBoundsException: -1
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> java.util.Vector.elementData(Vector.java:734)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> java.util.Vector.elementAt(Vector.java:477)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.table.
> DefaultTableColumnModel.getColumn(DefaultTableColumnModel.java:294)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.
> BasicTableHeaderUI.getHeaderRenderer(BasicTableHeaderUI.java:693)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.
> BasicTableHeaderUI.paintCell(BasicTableHeaderUI.java:709)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.
> BasicTableHeaderUI.paint(BasicTableHeaderUI.java:685)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> javax.swing.plaf.ComponentUI.update(ComponentUI.java:161)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.
> paintComponent(JComponent.java:780)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> javax.swing.JComponent.paint(JComponent.java:1056)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.
> paintToOffscreen(JComponent.java:5210)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> javax.swing.RepaintManager$PaintManager.paintDoubleBuffered(
> RepaintManager.java:1579)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> javax.swing.RepaintManager$PaintManager.paint(RepaintManager.java:1502)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> javax.swing.RepaintManager.paint(RepaintManager.java:1272)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent._
> paintImmediately(JComponent.java:5158)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.
> paintImmediately(JComponent.java:4969)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> javax.swing.RepaintManager$4.run(RepaintManager.java:831)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> javax.swing.RepaintManager$4.run(RepaintManager.java:814)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.
> AccessController.doPrivileged(Native Method)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.
> ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(
> ProtectionDomain.java:76)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:814)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:789)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> javax.swing.RepaintManager.prePaintDirtyRegions(RepaintManager.java:738)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> javax.swing.RepaintManager.access$1200(RepaintManager.java:64)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> javax.swing.RepaintManager$ProcessingRunnable.run(
> RepaintManager.java:1732)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.event.
> InvocationEvent.dispatch(InvocationEvent.java:311)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.
> dispatchEventImpl(EventQueue.java:756)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> java.awt.EventQueue.access$500(EventQueue.java:97)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue$3.run(
> EventQueue.java:709)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue$3.run(
> EventQueue.java:703)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.
> AccessController.doPrivileged(Native Method)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.
> ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(
> ProtectionDomain.java:76)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.
> dispatchEvent(EventQueue.java:726)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> java.awt.EventDispatchThread.pumpOneEventForFilters(
> EventDispatchThread.java:201)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> java.awt.EventDispatchThread.pumpEventsForFilter(
> EventDispatchThread.java:116)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> java.awt.EventDispatchThread.pumpEventsForHierarchy(
> EventDispatchThread.java:105)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93)
> [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
> java.awt.EventDispatchThread.run(EventDispatchThread.java:82)
> ------------------------------
>
> 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.
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>
>

It sounds like the option you want is "location of new untitled buffers", regardless of autosave/backup dir.



---

** [patches:#596] #501 Auto-save untitled buffers - patch**

**Status:** pending-remind
**Group:** 
**Labels:** untitled autosave 
**Created:** Fri Feb 17, 2017 05:34 PM UTC by Hrotkó Gábor
**Last Updated:** Tue Jun 20, 2017 09:11 PM UTC
**Owner:** Alan Ezust
**Attachments:**

- [saveUntitled.patch](https://sourceforge.net/p/jedit/patches/596/attachment/saveUntitled.patch) (22.0 kB; text/x-patch)


I created a patch for the feature request: "#501 Auto-save untitled buffers".
Altough the settings "Autosave untitled buffers" exists, but not working like described in the feature request.
My patch extends this feature, when "Autosave untitled buffers" checked (default):
- the untitled buffers will be autosaved when closing jedit, without a question prompt
- the autosave for an untitled buffer saved to <jedit_settings_dir>/autosave, and reloaded after a restart (the state persisted to the perspective.xml)
- closing an untitled buffer by hand removes the autosave file

Tested on windows7 and linux also.
The patch is against revision 24609.
Please review.
Thanks!


---

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.

I imagine some users will want autosaves/backups in the same directory, and others will not.

The current documentation and the feature requests I am trying to implement are trying to make both kinds of users happy.

If no autosave/backup is specified, it should use the same directory as the original file!

If an autosave/backup is specified, then the files are separate, and we can specify the location.

Why do you want to make things more complicated than that? And why do you want to hard-code the location of the default?




---

** [patches:#596] #501 Auto-save untitled buffers - patch**

**Status:** pending-remind
**Group:** 
**Labels:** untitled autosave 
**Created:** Fri Feb 17, 2017 05:34 PM UTC by Hrotkó Gábor
**Last Updated:** Tue Jun 20, 2017 09:11 PM UTC
**Owner:** Alan Ezust
**Attachments:**

- [saveUntitled.patch](https://sourceforge.net/p/jedit/patches/596/attachment/saveUntitled.patch) (22.0 kB; text/x-patch)


I created a patch for the feature request: "#501 Auto-save untitled buffers".
Altough the settings "Autosave untitled buffers" exists, but not working like described in the feature request.
My patch extends this feature, when "Autosave untitled buffers" checked (default):
- the untitled buffers will be autosaved when closing jedit, without a question prompt
- the autosave for an untitled buffer saved to <jedit_settings_dir>/autosave, and reloaded after a restart (the state persisted to the perspective.xml)
- closing an untitled buffer by hand removes the autosave file

Tested on windows7 and linux also.
The patch is against revision 24609.
Please review.
Thanks!


---

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.

- **summary**: ContextMenuPlugin + Substance L&F = bad menubar --> LatextTools is creating gui components in a background thread 
- **Group**:  --> 
- **Comment**:

Renamed this issue since the bug is actually located in LatexTools rather than ContextMenu or Substance.



---

** [plugin-bugs:#1880] LatextTools is creating gui components in a background thread **

**Status:** open
**Group:** 
**Created:** Mon Mar 20, 2017 02:18 PM UTC by Alan Ezust
**Last Updated:** Mon Apr 03, 2017 06:18 PM UTC
**Owner:** nobody


I have ContextMenu plugin set to show me an extra menu just before the Help menu depending on what mode I am editing. 
This is broken in Substance L&F.
Also, I can't see a Help menu in the main menubar.
Lots of exceptions are thrown in the activity log. 


	at java.awt.Container.remove(Container.java:1261)
	at contextmenu.ContextMenuPlugin.addToMenubar(ContextMenuPlugin.java:188)
	at contextmenu.ContextMenuPlugin.addToMenubar(ContextMenuPlugin.java:174)
	at contextmenu.ContextMenuPlugin.updateAllViews(ContextMenuPlugin.java:280)
	at contextmenu.ContextMenuPlugin.handleMessage(ContextMenuPlugin.java:145)
	at org.gjt.sp.jedit.EditBus.dispatch(EditBus.java:246)
    


---

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.

So all this needs is a rebuild? No code changes? 


---

** [plugin-bugs:#1885] Scalac: Crash in jEdit 5.4.0**

**Status:** open
**Group:** 
**Created:** Tue May 09, 2017 03:09 PM UTC by Vaclav Votipka
**Last Updated:** Wed May 10, 2017 07:27 PM UTC
**Owner:** nobody


**jEdit version:** 5.4.0
**Scalac plugin version:** 1.1.0
**Java version:** Oracle Java 1.8.0_121
**Steps to reproduce:** run jEdit with Scalac plugin installed
**Expected result:** no error appears
**Current result:** this message appears:
~~~
/home/vaclav/.jedit/jars/ScalacPlugin.jar:
Cannot start: java.lang.NoSuchMethodError: org.gjt.sp.util.IOUtilities.closeQuietly(Ljava/io/InputStream;)V
Try updating to a newer version of the plugin.
~~~
**Activity log:**
~~~
5:07:03 PM [main] [notice] ScalacPlugin: copying resource /resources/catalog to modes/catalog
5:07:03 PM [main] [error] PluginJAR: Error while starting plugin scalac.ScalacPlugin
5:07:03 PM [main] [error] PluginJAR: java.lang.NoSuchMethodError: org.gjt.sp.util.IOUtilities.closeQuietly(Ljava/io/InputStream;)V
5:07:03 PM [main] [error] PluginJAR:  at scalac.ScalacPlugin.copyResource(scalac.scala:417)
5:07:03 PM [main] [error] PluginJAR:  at scalac.ScalacPlugin.start(scalac.scala:381)
5:07:03 PM [main] [error] PluginJAR:  at org.gjt.sp.jedit.PluginJAR.startPlugin(PluginJAR.java:1740)
5:07:03 PM [main] [error] PluginJAR:  at org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:951)
5:07:03 PM [main] [error] PluginJAR:  at org.gjt.sp.jedit.PluginJAR.activatePluginIfNecessary(PluginJAR.java:1021)
5:07:03 PM [main] [error] PluginJAR:  at org.gjt.sp.jedit.jEdit.main(jEdit.java:550)
5:07:03 PM [main] [error] ErrorListDialog$ErrorEntry: /home/vaclav/.jedit/jars/ScalacPlugin.jar:
5:07:03 PM [main] [error] ErrorListDialog$ErrorEntry: Cannot start: java.lang.NoSuchMethodError: org.gjt.sp.util.IOUtilities.closeQuietly(Ljava/io/InputStream;)V
5:07:03 PM [main] [error] ErrorListDialog$ErrorEntry: Try updating to a newer version of the plugin.
~~~



---

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.

Looks good to me, thanks!


---

** [plugin-bugs:#1886] HelpServer issues**

**Status:** pending-fixed
**Group:** 
**Created:** Tue Jun 06, 2017 07:39 PM UTC by Dale Anson
**Last Updated:** Sun Jun 18, 2017 04:47 PM UTC
**Owner:** Eric Le Lay


When I use HelpServer, I have two issues. I'm not sure if one is causing the other.

I get these lines in the activity.log:

1:28:35 PM [NanoHttpd Request Processor (#2)] [warning] HelpServer: Unable to load file:/home/danson/apps/jedit/current/doc/api/resources/tab.gif
1:28:35 PM [NanoHttpd Request Processor (#1)] [warning] HelpServer: Unable to load file:/home/danson/apps/jedit/current/doc/api/resources/background.gif
1:28:36 PM [NanoHttpd Request Processor (#3)] [warning] HelpServer: Unable to load file:/home/danson/apps/jedit/current/doc/api/resources/titlebar.gif
1:28:36 PM [NanoHttpd Request Processor (#4)] [warning] HelpServer: Unable to load file:/home/danson/apps/jedit/current/doc/api/resources/titlebar_end.gif

I'm not sure where these come from, I don't see them in the HelpServer source code.

The second issue is everytime I click something in the left pane, the browser reloads and the left pane is scrolled back to the top and all nodes are collapsed. This is a pain when I'm browsing the jEdit API docs, which are way at the bottom of the left pane.


---

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.

- **status**: open --> closed-fixed
- **assigned_to**: Dale Anson



---

** [bugs:#4025] SEARCH FAILS TO FIND SOME FILES**

**Status:** closed-fixed
**Group:** normal bug
**Created:** Thu Nov 17, 2016 04:05 AM UTC by dbareis
**Last Updated:** Thu Nov 17, 2016 04:05 AM UTC
**Owner:** Dale Anson


Using JEDIT 5.3.0 create a file called "#JustCapture#.TriageTemplate", create other files with same file extension.  Perform directory search on "*.TriageTemplate" the file "#JustCapture#.TriageTemplate" will  NEVER BE FOUND.

The leading "#" seems to be the problem, so I'm guessing this is a bug in the detection of autosave files and that the impact of this may be much larger.

Windows 7 64 bit
java version "1.7.0_71"
Java(TM) SE Runtime Environment (build 1.7.0_71-b14)
Java HotSpot(TM) 64-Bit Server VM (build 24.71-b01, mixed mode)


---

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.