See also Isabelle/bf7400573617.
Makarius ---------- Forwarded message ---------- Date: Tue, 21 Jun 2011 11:30:19 +0200 From: Vampire <vamp...@jedit.org> To: jEdit Announce Mailinglist <jedit-annou...@lists.sourceforge.net> Subject: [ jEdit-announce ] jEdit 4.4.1 is out! Hi all,I proudly present 4.4.1, the first official stable release of the 4.4 series of jEdit.
I want to appologize again for the confusion that arised when the faulty 4.4 release was created and then taken back down. To avoid confusion about what version someone is using, the 4.4 release is skipped completely.
Here are some convenient links to see the live state of major problems: - Bugs which are marked as "severe": http://sourceforge.net/tracker/?group_id=588&atid=100588&status=1&artgroup=101607 - Bugs which are marked as "regressive": http://sourceforge.net/tracker/?group_id=588&atid=100588&status=1&artgroup=619797 Volunteers are always welcome to fix these bugs: http://www.jedit.org/index.php?page=devel That being said, here is the download link: http://www.jedit.org/index.php?page=download FYI, merge requests for the 4.4 series (fix done, but waiting for a review): http://sourceforge.net/tracker/?group_id=588&atid=1235750&status=1&artgroup=1360914 For those who want to stick with the 4.3 series of jEdit we also created a new bugfix release 4.3.3. (see separate announcement mail) Have fun with the new release. Regards Björn "Vampire" Kautler jEdit 4.4 version history (changes since jEdit 4.3) :encoding=UTF-8: {{{ Version 4.4.1 Thanks to Björn "Vampire" Kautler, Kazutoshi Satoda, Alan Ezust, and Matthieu Casanova for contributing to this release. {{{ Bug Fixes - Collapsing all folds will move the caret outside any fold if necessary (Matthieu Casanova) - Fixed an exception that occurs when opening jEdit from command line with some files to open as argument if a jEdit server is running (#3173669 - Matthieu Casanova) - jEdit now force drops from external applications to be COPY and not MOVE drops. It prevents ftp explorer from deleting dropped files (#1208598 - Matthieu Casanova) - Changing bufferset scopes now saved to properties as default scope. (#3316329 - Matthieu Casanova) - Buffersets no longer populated with open files when creating new view. (#2990965 - Matthieu Casanova and Alan Ezust) - BufferSet contents of new Plain View #3317405 fixed (Matthieu Casanova) - When the cursor was at a start (or end) of non-top (non-bottom) line, Find Next (Previous) for a non-empty regex starting with "^" (ending with "$") wrongly skipped the occurrence at the cursor. (SF.net bug #2953604 - Kazutoshi Satoda) - Corrected a wrong specifications (javadoc comments) of SearchMatcher#nextMatch(). (SF.net bug #2953604 - Kazutoshi Satoda) - Fixed an exception that prevent from opening properties dialog of non local files in the VFS Browser (#3199876 - Matthieu Casanova) - Remove sending to background from the Linux start script, otherwise it cannot be used properly as commit editor with the -wait option or to get the -usage output on the commandline properly (Björn "Vampire" Kautler) - Improve integration with Unity Launcher. Without this change if you pin jEdit to the Launcher and then run it, a separate icon for the running instance is shown. With this change this is correctly merged with the pinned starter. (Björn "Vampire" Kautler) }}} }}} jEdit buffer local properties: :folding=explicit:collapseFolds=2: ------------------------------------------------------------------------------ EditLive Enterprise is the world's most technically advanced content authoring tool. Experience the power of Track Changes, Inline Image Editing and ensure content is compliant with Accessibility Checking. http://p.sf.net/sfu/ephox-dev2dev _______________________________________________ jEdit Announcement List jedit-annou...@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jedit-announce
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev