From: Vampire <Vampire@jEdit.org> - 2017-03-18 15:03:50
|
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 jEd...@li... https://lists.sourceforge.net/lists/listinfo/jedit-announce |
From: Mike M. <ma...@um...> - 2017-03-19 04:19:18
|
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 |
From: Peter R. <p.r...@sh...> - 2017-03-19 09:06:04
|
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! |
From: Alan E. <ala...@gm...> - 2017-03-19 19:38:10
|
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 <p.r...@sh...> 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 > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users > |
From: Mike M. <ma...@um...> - 2017-03-19 19:21:05
|
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 |
From: Peter R. <p.r...@sh...> - 2017-03-19 19:37:02
|
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. |
From: Mike M. <ma...@um...> - 2017-03-19 19:49:18
|
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 |
From: Alan E. <ala...@gm...> - 2017-03-19 19:41:12
|
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 <p.r...@sh...> 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 > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users > |
From: Peter R. <p.r...@sh...> - 2017-03-19 20:00:03
|
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 > <p.r...@sh... <mailto:p.r...@sh...>> 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 > jEd...@li... > <mailto:jEd...@li...> > https://lists.sourceforge.net/lists/listinfo/jedit-users > <https://lists.sourceforge.net/lists/listinfo/jedit-users> > > |
From: Vampire <Va...@je...> - 2017-03-20 01:08:37
|
Am 19.03.2017 21:00 schrieb "Peter Rockett" <p.r...@sh...>: 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 |
From: Alan E. <ala...@gm...> - 2017-03-19 20:02:33
|
Updater Plugin is currently broken, that is correct. On Sun, Mar 19, 2017 at 12:59 PM, Peter Rockett <p.r...@sh...> 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 <p.r...@sh... > > 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 >> jEd...@li... >> https://lists.sourceforge.net/lists/listinfo/jedit-users >> > > > |
From: Alan E. <ala...@gm...> - 2017-03-19 20:03:31
|
I did just use it to update to the latest daily build, however. |