Quantcast

[ jEdit-users ] [ jEdit-announce ] jEdit 5.4.0 is out!

classic Classic list List threaded Threaded
12 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-users ] [ jEdit-announce ] jEdit 5.4.0 is out!

Vampire-3
Administrator
Hello everyone,

I proudly present jEdit 5.4.0, the first stable release of the 5.4 series of jEdit.

This is mostly a bugfixing and stabilizing release. Detailed changes can as always be found in the Change Log attached in the end of this email, but here are some of the major changes of this version:

    * Use of Java 1.8
    * Use of a new XML format for Plugin Manager, and proper following of redirects, resulting in a much improved plugin install experience
    * New Printing, updated for current versions of Java


Volunteers are always welcome to contribute to the future of jEdit:
http://www.jedit.org/index.php?page=devel


That being said, here is the download link:
http://www.jedit.org/index.php?page=download


Have fun with the new release.

Best Regards
Björn "Vampire" Kautler



jEdit 5.4 version history
       (changes since jEdit 5.3.0)
:encoding=UTF-8:

{{{ Version 5.4.0

Thanks to Björn "Vampire" Kautler, Eric Le Lay, Jesse Pavel, Wayne Zhang,
Makarius, A Vontobel, Marc Häfner, Jordan Miner, Jack J. Woehr, Alan Ezust,
Adam S, Jean-Francois Larvoire, Wim West and Dale Anson for contributing to this
release.

{{{ Bug Fixes

- Add NSSupportsAutomaticGraphicsSwitching to JarBundler so that jEdit does not
  drain the battery unnecessarily on OS X.
  (feature request #529 - Björn "Vampire" Kautler)

- Bug 3857 fixed, related to resolving symlinks of buffers and checking for
  updated buffers (Patch # 589 - Wim West)

- Fix bug #2732 - syntax highlighting broken if non-visible lines change
  (Patch #580 - Marc Häfner)

- Fix bug #3659 - Macro Keywords_to_Upper_Case fails to find class
  (Patch #582 - Marc Häfner)

- Fix bug #3949 - Macro Display_Shortcuts show no/wrong results
  (Patch #581 - Marc Häfner)

- Fix bug #3944: Select All checkbox initially disabled. (Alan Ezust)

- Fix bug #3983: filename completion prefered longest filename when no
  match with exact length was found. Prefer the first one (Eric Le Lay)

- Fix bug #3913: beanshell do-while loop bug (Patch #572 Jesse Pavel)

- Fix Java_File_Save macro: accept text after class name (Eric Le Lay)

- Fix bug #3936, better choice for text area corner colors (Dale Anson)

- Fix bug #3717, gutter lines not aligning with text area lines (Dale Anson)

- Fix bug #3937, issue with non-capturing groups in regex search and replace
  (Dale Anson)

- Fix bug #3924, changes to mode files are not detected when ~/.jedit/modes
  is a symlink. (Dale Anson)

- Fix bug #3920, cannot change alpha value of a color in the syntax highlighting
  settings. (Dale Anson)

- Fix bug #3943, issues with move lines up and down macros. (Dale Anson)

- Fix bug #3923, documentation bug about where auto-saved files are saved.
  (Dale Anson)

- Fix bug #3916, null pointer exception in ChunkCache. (Dale Anson)

- Add missing source and target version to compile-installer task to not
  accidentally get an installer that needs a newer Java version than jEdit
  itself does. (Björn "Vampire" Kautler)

- Use new version of JarBundler that also sets LSApplicationCategoryType and
  NSHighResolutionCapable. (Björn "Vampire" Kautler)

- Set default colors for foreground and background in syntax highlighting
  style editor. (Dale Anson)

- Fix plugin bug #1853 XML plugin crashes on JDK9. Don't pre-connect
  the returned URLConnection in jeditresource: protocol handler (Eric Le Lay)

- Fix bug #3994, ConcurrentModificationException in ProperyManager. (Dale Anson)

- Fix bug #4002, too short horizontal scrollbar after view resize. (Dale Anson)

- Fix bug #3773, InvocationTargetException with negative printing tab width.
  (Dale Anson)

- Fix bug # 2844, printing range bug. (Dale Anson)

- Delete a user mode from the catalog even if the mode file is missing
  (Eric Le Lay)

- Plugin Manager: fix missing newline between released and description for
  plugins without dependencies. Add extra newline for clarity. (Eric Le Lay)

- Fix bug # 3998, Next Char macro doesn't work. (Dale Anson)

}}}
{{{ UI Improvements

- Feature Request #520 Environment variables in Find dialog Directory
  (Alan Ezust)

- UI clean up, button spacing, borders, etc. (Dale Anson)

- Implemented feature request #493, ask for confirmation before closing all
  buffers. (Dale Anson)

- Refactor editing option pane into several tabs, allow user editing of modes
  lists, similar to editing the encoding options lists. This also fixes
  feature request #515. (Dale Anson)

- Updated NumericTextField to allow decimal numbers and only allow negative sign
  at the start of a number. (Dale Anson)

}}}
{{{ Miscellaneous

- Updated printing system with jEdit specific printer dialog, accurate page
  range printing, current page printing, printing of selected text only, ability
  to show page breaks in the text area. (Dale Anson)

- The plugin manager now uses a different URL scheme where the mirror is a URL
  parameter and not part of the hostname anymore and follows URL redirection
  properly. This way a file can always be downloaded as we get redirected to a
  mirror that has the requested file available. Now dead mirrors do not cause
  the download to fail anymore due to unknown hostname and files that are only
  available on few mirrors (seldom downloaded files are only available on one
  mirror sometimes) also work properly. The selected mirror is just the
  preferred one that is used if the file is available there, just as the label
  always suggested anyway. (Björn "Vampire" Kautler)

}}}
{{{ API Changes

- jEdit now requires/can make use of Java 1.8 language / libraries.

- new org.gjt.sp.utils.GenericGUIUtilities class, containing bits of
  org.gjt.sp.jedit.GUIUtilities suitable for the standalone TextArea
  package; all methods kept but deprecated and proxies (Eric Le Lay).

- refactor Help table of contents loading code to a separate class
  (HelpTOCLoader). Make relevant members public, so the help TOC
  is accessible to other code, e.g. the HelpServer plugin (Eric Le Lay).

}}}
{{{ Editing

- Batch mode updates (Patch #594 - Jean-Francois Larvoire)

- Unicode brackets (Patch #566 - Makarius)

- Updates for objectrexx mode (Patch #585 - Jack J. Woehr)

- Mode for m4 macro processor language (Patch #586 - Jack J. Woehr)

- Drawj2d edit mode (Patch #573 - A. Vontobel)

- Rust edit mode raw string fix (Patch #575 - Jordan Miner)

- Mode for Mavscript 2.0 (Patch #574 - A. Vontobel)

- New mode for swift (Patch #587 - Wayne Zhang)

- New mode for Java 9 module-info.java files (Dale Anson)

- Updated CSS mode provided by AdamS (Ticket #4003 - Dale Anson)

}}}

}}}

jEdit buffer local properties:
:maxLineLen=80:wrap=hard:autoIndent=simple:noTabs=true:indentSize=2:tabSize=2:
:folding=explicit:collapseFolds=2:


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
jEdit Announcement List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-announce
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [ jEdit-users ] [ jEdit-announce ] jEdit 5.4.0 is out!

maxwell
A small comment (and a big thanks!), which may be helpful to other
Windows users.

I installed it on Windows 10.  I routinely run under a non-admin
account, but of course I had to do the installation using an admin
account (which Windows calls "run as Administrator", sort of like sudo).
  Win10 didn't want to let me install it even then, because it didn't
come from the Windows Store, but clicking on the "more information"
revealed an "install anyway" button.

At the end of the installation, there were three check boxes, one of
which was "Start jEdit."  I left that clicked, but when it started up,
it was "stock"--none of the UI edits I had made (like turning off the
toolbar and the hints that show at startup).

I was about to write a complaint to this mailing list when I realized
the auto-startup had used the settings in the Admin account, not my
regular user account.  And of course it runs with all my personal
settings under the user account.

So no complaints!
--
    Mike Maxwell
    "My definition of an interesting universe is
    one that has the capacity to study itself."
          --Stephen Eastmond

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [ jEdit-users ] [ jEdit-announce ] jEdit 5.4.0 is out!

Peter Rockett
I have tried updating to v5.4.0 (Linux Mint 17.3) using the Updater
plugin. Selected the Latest Official Release option, but I get an error
as follows:

Checking for the latest version...
Installed version: 05.03.99.00
Latest version: 05.04.99.00
This will exit jEdit and install a new version. Are you sure?
Fetching jEdit download page...
Downloading the new version...
http://sourceforge.net/projects/jedit/files/jedit/5.4.0/jedit5.4.0install.jar/download

Launching the installer...
Installer: /home/pir/.jedit/plugins/updater.UpdaterPlugin/jeditInstall.jar
Install location: /usr/share/jEdit
Please wait while the update is being installed...
Installer done. jEdit will now be started using the start script.
Error: Invalid or corrupt jarfile
/home/pir/.jedit/plugins/updater.UpdaterPlugin/jeditInstall.jar
Start script done.


Any ideas? The jeditInstall.jar certainly exists in the specified
directory but is only 178 bytes. But the sourceforge jar file
(jedit5.4.0install.jar) is 3.4 Mbytes when downloaded separately.

BTW: I get the same error if I run the update as superuser.

P.



On 19/03/17 04:00, Mike Maxwell wrote:
> A small comment (and a big thanks!), which may be helpful to other
> Windows users.
>
> ...snip
>
> So no complaints!


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [ jEdit-users ] [ jEdit-announce ] jEdit 5.4.0 is out!

maxwell
On 3/19/2017 5:05 AM, Peter Rockett wrote:
> I have tried updating to v5.4.0 (Linux Mint 17.3) using the Updater
> plugin. Selected the Latest Official Release option, but I get an error
> as follows:
>...
> Any ideas? The jeditInstall.jar certainly exists in the specified
> directory but is only 178 bytes.

Have you looked at this file?  At that size, I wonder if it's an error msg.
--
    Mike Maxwell
    "My definition of an interesting universe is
    one that has the capacity to study itself."
          --Stephen Eastmond

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [ jEdit-users ] [ jEdit-announce ] jEdit 5.4.0 is out!

Peter Rockett
On 19/03/17 19:21, Mike Maxwell wrote:

> On 3/19/2017 5:05 AM, Peter Rockett wrote:
>> I have tried updating to v5.4.0 (Linux Mint 17.3) using the Updater
>> plugin. Selected the Latest Official Release option, but I get an error
>> as follows:
>> ...
>> Any ideas? The jeditInstall.jar certainly exists in the specified
>> directory but is only 178 bytes.
>
> Have you looked at this file?  At that size, I wonder if it's an error
> msg.
It says:

<html>
<head><title>301 Moved Permanently</title></head>
<body bgcolor="white">
<center><h1>301 Moved Permanently</h1></center>
<hr><center>nginx</center>
</body>
</html>

Good call. It does appear to be an error message telling the URL is
out-of-date and has not been updated?

P.

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [ jEdit-users ] [ jEdit-announce ] jEdit 5.4.0 is out!

Alan Ezust-3
Administrator
In reply to this post by Peter Rockett
Have you got write permissions to /usr/share/jEdit?
the updater plugin does not do any kind of super-user, so YOUR user needs permissions to the install directory of jEdit for the updater plugin to work. I suppose that should be documented in the plugin but might not be yet.



On Sun, Mar 19, 2017 at 2:05 AM, Peter Rockett <[hidden email]> wrote:
I have tried updating to v5.4.0 (Linux Mint 17.3) using the Updater
plugin. Selected the Latest Official Release option, but I get an error
as follows:

Checking for the latest version...
Installed version: 05.03.99.00
Latest version: 05.04.99.00
This will exit jEdit and install a new version. Are you sure?
Fetching jEdit download page...
Downloading the new version...
http://sourceforge.net/projects/jedit/files/jedit/5.4.0/jedit5.4.0install.jar/download

Launching the installer...
Installer: /home/pir/.jedit/plugins/updater.UpdaterPlugin/jeditInstall.jar
Install location: /usr/share/jEdit
Please wait while the update is being installed...
Installer done. jEdit will now be started using the start script.
Error: Invalid or corrupt jarfile
/home/pir/.jedit/plugins/updater.UpdaterPlugin/jeditInstall.jar
Start script done.


Any ideas? The jeditInstall.jar certainly exists in the specified
directory but is only 178 bytes. But the sourceforge jar file
(jedit5.4.0install.jar) is 3.4 Mbytes when downloaded separately.

BTW: I get the same error if I run the update as superuser.

P.



On 19/03/17 04:00, Mike Maxwell wrote:
> A small comment (and a big thanks!), which may be helpful to other
> Windows users.
>
> ...snip
>
> So no complaints!


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [ jEdit-users ] [ jEdit-announce ] jEdit 5.4.0 is out!

Alan Ezust-3
Administrator
In reply to this post by Peter Rockett
The Updater plugin for doing anything other than daily builds has not been tested in a long time and probably needs to be updated itself.


On Sun, Mar 19, 2017 at 12:36 PM, Peter Rockett <[hidden email]> wrote:
On 19/03/17 19:21, Mike Maxwell wrote:
> On 3/19/2017 5:05 AM, Peter Rockett wrote:
>> I have tried updating to v5.4.0 (Linux Mint 17.3) using the Updater
>> plugin. Selected the Latest Official Release option, but I get an error
>> as follows:
>> ...
>> Any ideas? The jeditInstall.jar certainly exists in the specified
>> directory but is only 178 bytes.
>
> Have you looked at this file?  At that size, I wonder if it's an error
> msg.
It says:

<html>
<head><title>301 Moved Permanently</title></head>
<body bgcolor="white">
<center><h1>301 Moved Permanently</h1></center>
<hr><center>nginx</center>
</body>
</html>

Good call. It does appear to be an error message telling the URL is
out-of-date and has not been updated?

P.

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [ jEdit-users ] [ jEdit-announce ] jEdit 5.4.0 is out!

maxwell
In reply to this post by Peter Rockett
On 3/19/2017 3:36 PM, Peter Rockett wrote:
> It says:
>
> <html>
> <head><title>301 Moved Permanently</title></head>
> <body bgcolor="white">
> <center><h1>301 Moved Permanently</h1></center>
> <hr><center>nginx</center>

nginx is a server and "reverse proxy"
     https://www.nginx.com/blog/creating-nginx-rewrite-rules/
Does it belong to you, or is it s.t. that the jEdit installer is calling
directly?

--
    Mike Maxwell
    "My definition of an interesting universe is
    one that has the capacity to study itself."
          --Stephen Eastmond

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [ jEdit-users ] [ jEdit-announce ] jEdit 5.4.0 is out!

Peter Rockett
In reply to this post by Alan Ezust-3

Right. So what is the suggested method of updating to the latest official release? A reinstall?

FWIW: The updater gives you a list of options, one of which is the latest official release. Th implication is that it's broken...

P.


On 19/03/17 19:40, Alan Ezust wrote:
The Updater plugin for doing anything other than daily builds has not been tested in a long time and probably needs to be updated itself.


On Sun, Mar 19, 2017 at 12:36 PM, Peter Rockett <[hidden email]> wrote:
On 19/03/17 19:21, Mike Maxwell wrote:
> On 3/19/2017 5:05 AM, Peter Rockett wrote:
>> I have tried updating to v5.4.0 (Linux Mint 17.3) using the Updater
>> plugin. Selected the Latest Official Release option, but I get an error
>> as follows:
>> ...
>> Any ideas? The jeditInstall.jar certainly exists in the specified
>> directory but is only 178 bytes.
>
> Have you looked at this file?  At that size, I wonder if it's an error
> msg.
It says:

<html>
<head><title>301 Moved Permanently</title></head>
<body bgcolor="white">
<center><h1>301 Moved Permanently</h1></center>
<hr><center>nginx</center>
</body>
</html>

Good call. It does appear to be an error message telling the URL is
out-of-date and has not been updated?

P.

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users



------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [ jEdit-users ] [ jEdit-announce ] jEdit 5.4.0 is out!

Alan Ezust-3
Administrator
Updater Plugin is currently broken, that is correct.


On Sun, Mar 19, 2017 at 12:59 PM, Peter Rockett <[hidden email]> wrote:

Right. So what is the suggested method of updating to the latest official release? A reinstall?

FWIW: The updater gives you a list of options, one of which is the latest official release. Th implication is that it's broken...

P.


On 19/03/17 19:40, Alan Ezust wrote:
The Updater plugin for doing anything other than daily builds has not been tested in a long time and probably needs to be updated itself.


On Sun, Mar 19, 2017 at 12:36 PM, Peter Rockett <[hidden email]> wrote:
On 19/03/17 19:21, Mike Maxwell wrote:
> On 3/19/2017 5:05 AM, Peter Rockett wrote:
>> I have tried updating to v5.4.0 (Linux Mint 17.3) using the Updater
>> plugin. Selected the Latest Official Release option, but I get an error
>> as follows:
>> ...
>> Any ideas? The jeditInstall.jar certainly exists in the specified
>> directory but is only 178 bytes.
>
> Have you looked at this file?  At that size, I wonder if it's an error
> msg.
It says:

<html>
<head><title>301 Moved Permanently</title></head>
<body bgcolor="white">
<center><h1>301 Moved Permanently</h1></center>
<hr><center>nginx</center>
</body>
</html>

Good call. It does appear to be an error message telling the URL is
out-of-date and has not been updated?

P.

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users




------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [ jEdit-users ] [ jEdit-announce ] jEdit 5.4.0 is out!

Alan Ezust-3
Administrator
I did just use it to update to the latest daily build, however.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [ jEdit-users ] [ jEdit-announce ] jEdit 5.4.0 is out!

Vampire-3
Administrator
In reply to this post by Peter Rockett

Am 19.03.2017 21:00 schrieb "Peter Rockett" <[hidden email]>:

Right. So what is the suggested method of updating to the latest official release? A reinstall?


Well, the suggested method of updating to the latest official release is to use the latest official installer. The updater plugin like most plugins are community developed by people who deem that functionality useful and want to maintain it.

FWIW: The updater gives you a list of options, one of which is the latest official release. Th implication is that it's broken...


I agree, open a ticket in the plugin bugs tracker and hopefully the maintainer for the plugin will take care. It is probably similar to the problems we had with the plugin manager, that SF now is redirecting http to https which correctly is not followed automatically by default classes. 

Regards
Björn

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Users' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Loading...