From: <ez...@us...> - 2014-08-18 03:03:29
|
Revision: 23662 http://sourceforge.net/p/jedit/svn/23662 Author: ezust Date: 2014-08-18 03:03:22 +0000 (Mon, 18 Aug 2014) Log Message: ----------- updates to changes.txt Modified Paths: -------------- jEdit/trunk/doc/CHANGES.txt jEdit/trunk/org/gjt/sp/jedit/MiscUtilities.java Modified: jEdit/trunk/doc/CHANGES.txt =================================================================== --- jEdit/trunk/doc/CHANGES.txt 2014-08-17 01:12:29 UTC (rev 23661) +++ jEdit/trunk/doc/CHANGES.txt 2014-08-18 03:03:22 UTC (rev 23662) @@ -13,7 +13,7 @@ background and set the background color to the Gutter background color. This prevents the parent component to shine through, which would e. g. show blue edges with the BufferTabs plugin installed and active. - (Björn "Vampire" Kautler) + (Björn "Vampire" Kautler) [Merged into 5.2.x] - Fix a bug preventing from removing an unloaded plugin (#3877 - Matthieu Casanova) [Merged into 5.2.x] Modified: jEdit/trunk/org/gjt/sp/jedit/MiscUtilities.java =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/MiscUtilities.java 2014-08-17 01:12:29 UTC (rev 23661) +++ jEdit/trunk/org/gjt/sp/jedit/MiscUtilities.java 2014-08-18 03:03:22 UTC (rev 23662) @@ -198,7 +198,7 @@ * * @return an abbreviated path, replacing values with variables, if a prefix exists. * @see #expandVariables - * @since jEdit 4.3pre16 + * @since jEdit 4.3 */ public static String abbreviate(String path) { This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |