From: <kp...@us...> - 2010-11-06 16:04:47
|
Revision: 18926 http://jedit.svn.sourceforge.net/jedit/?rev=18926&view=rev Author: kpouer Date: 2010-11-06 15:18:05 +0000 (Sat, 06 Nov 2010) Log Message: ----------- Added ivy.xml, description.html and use plugin Home api Modified Paths: -------------- plugins/BufferList/trunk/BufferList.props plugins/BufferList/trunk/build.xml Added Paths: ----------- plugins/BufferList/trunk/description.html plugins/BufferList/trunk/ivy.xml Modified: plugins/BufferList/trunk/BufferList.props =================================================================== --- plugins/BufferList/trunk/BufferList.props 2010-11-06 15:12:19 UTC (rev 18925) +++ plugins/BufferList/trunk/BufferList.props 2010-11-06 15:18:05 UTC (rev 18926) @@ -29,6 +29,7 @@ plugin.bufferlist.BufferListPlugin.depend.1=jdk 1.5 plugin.bufferlist.BufferListPlugin.depend.2=plugin GnuRegexpPlugin 1.0.1 plugin.bufferlist.BufferListPlugin.description=The BufferList Plugin shows the list of currently open files in a tree. +plugin.bufferlist.BufferListPlugin.usePluginHome=true # }}} #{{{ default user properties Modified: plugins/BufferList/trunk/build.xml =================================================================== --- plugins/BufferList/trunk/build.xml 2010-11-06 15:12:19 UTC (rev 18925) +++ plugins/BufferList/trunk/build.xml 2010-11-06 15:18:05 UTC (rev 18926) @@ -7,9 +7,6 @@ <property name="compiler.source" value="1.5" /> <property name="compiler.target" value="1.5" /> <import file="${build.support}/plugin-build.xml" /> - <path id="project.class.path"> - <pathelement location="${install.dir}/GnuRegexp.jar" /> - </path> <selector id="packageFiles"> <filename name="BufferList.html" /> </selector> Added: plugins/BufferList/trunk/description.html =================================================================== --- plugins/BufferList/trunk/description.html (rev 0) +++ plugins/BufferList/trunk/description.html 2010-11-06 15:18:05 UTC (rev 18926) @@ -0,0 +1,2 @@ +The BufferList Plugin shows the list of currently open files in a window, that +may be docked permanently into jEdit's view. \ No newline at end of file Added: plugins/BufferList/trunk/ivy.xml =================================================================== --- plugins/BufferList/trunk/ivy.xml (rev 0) +++ plugins/BufferList/trunk/ivy.xml 2010-11-06 15:18:05 UTC (rev 18926) @@ -0,0 +1,6 @@ +<ivy-module version="2.0"> + <info organisation="jedit-plugins" module="RFCReader"/> + <dependencies> + <dependency org="jedit-plugins" name="GnuRegexp" rev="1.0.1"/> + </dependencies> +</ivy-module> \ No newline at end of file This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: <ez...@us...> - 2011-12-04 21:37:22
|
Revision: 20526 http://jedit.svn.sourceforge.net/jedit/?rev=20526&view=rev Author: ezust Date: 2011-12-04 21:37:16 +0000 (Sun, 04 Dec 2011) Log Message: ----------- Use MiscUtilities.abbreviate instead of just doing s/$HOME/~ Modified Paths: -------------- plugins/BufferList/trunk/BufferList.props plugins/BufferList/trunk/bufferlist/BufferListRenderer.java Modified: plugins/BufferList/trunk/BufferList.props =================================================================== --- plugins/BufferList/trunk/BufferList.props 2011-12-04 21:02:54 UTC (rev 20525) +++ plugins/BufferList/trunk/BufferList.props 2011-12-04 21:37:16 UTC (rev 20526) @@ -22,7 +22,7 @@ plugin.bufferlist.BufferListPlugin.activate=defer plugin.bufferlist.BufferListPlugin.name=BufferList plugin.bufferlist.BufferListPlugin.author=Dirk Moebius -plugin.bufferlist.BufferListPlugin.version=1.3 +plugin.bufferlist.BufferListPlugin.version=1.3.1 plugin.bufferlist.BufferListPlugin.docs=BufferList.html plugin.bufferlist.BufferListPlugin.usePluginHome=true plugin.bufferlist.BufferListPlugin.depend.0=jedit 04.03.99.00 @@ -95,7 +95,7 @@ options.bufferlist.closeFilesOnDoubleClick=Close files on double click options.bufferlist.startExpanded=Fully expand directory tree by default options.bufferlist.displayMode=Use flat tree by default -options.bufferlist.shortenHome=Replace occurences of user\'s home directory with "~" +options.bufferlist.shortenHome=Compress paths with variable prefixes in tree options.bufferlist.textClipping.label=Clip long paths with "...": options.bufferlist.textClipping.start=at start options.bufferlist.textClipping.end=at end Modified: plugins/BufferList/trunk/bufferlist/BufferListRenderer.java =================================================================== --- plugins/BufferList/trunk/bufferlist/BufferListRenderer.java 2011-12-04 21:02:54 UTC (rev 20525) +++ plugins/BufferList/trunk/bufferlist/BufferListRenderer.java 2011-12-04 21:37:16 UTC (rev 20526) @@ -40,6 +40,7 @@ import javax.swing.tree.DefaultTreeCellRenderer; import org.gjt.sp.jedit.Buffer; +import org.gjt.sp.jedit.MiscUtilities; import org.gjt.sp.jedit.View; import org.gjt.sp.jedit.jEdit; import org.gjt.sp.util.Log; @@ -109,12 +110,12 @@ fontNormal = font.deriveFont(font.isItalic() ? Font.ITALIC : Font.PLAIN); fontSelected = font.deriveFont(font.isItalic() ? Font.BOLD | Font.ITALIC : Font.BOLD); } // }}} - + // {{{ +getTreeCellRendererComponent(JTree, Object, boolean, boolean, // boolean, int, boolean) : Component /** * Configures the renderer. - * + * * @return this */ public Component getTreeCellRendererComponent(JTree tree, Object value, boolean isSelected, @@ -145,14 +146,7 @@ String path = (String) node.getUserObject(); if (jEdit.getBooleanProperty("bufferlist.shortenHome", true)) { - if (path.equals(USER_HOME)) - { - path = "~"; - } - else if (path.startsWith(USER_HOME_SEP)) - { - path = "~" + path.substring(USER_HOME.length()); - } + path = MiscUtilities.abbreviate(path); } // setText((node.isExpanded()?"+":"-")+node.getReused()+":"+obj.toString()); // // NOTE: debug only This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: <ez...@us...> - 2012-06-21 16:02:51
|
Revision: 21849 http://jedit.svn.sourceforge.net/jedit/?rev=21849&view=rev Author: ezust Date: 2012-06-21 16:02:40 +0000 (Thu, 21 Jun 2012) Log Message: ----------- Fixed #3307762: Right click close on directory nodes. Patch# 3536753 - Patric Bechtel. Modified Paths: -------------- plugins/BufferList/trunk/BufferList.html plugins/BufferList/trunk/bufferlist/BufferList.java Modified: plugins/BufferList/trunk/BufferList.html =================================================================== --- plugins/BufferList/trunk/BufferList.html 2012-06-20 19:39:08 UTC (rev 21848) +++ plugins/BufferList/trunk/BufferList.html 2012-06-21 16:02:40 UTC (rev 21849) @@ -179,7 +179,12 @@ <UL> - <LI><B>VERSION 1.3 (2001/03)</B> + <LI><B>VERSION 1.4 (2012/06)</B> + <ul> + <li> Fixed #3307762: Right click close on directory nodes. Patch# 3536753 - Patric Bechtel. </li> + </ul> + </LI> + <LI><B>VERSION 1.3 (2011/03)</B> <UL> <LI>Fixed go to next/previous buffer in list (#3213492)</LI> </UL> Modified: plugins/BufferList/trunk/bufferlist/BufferList.java =================================================================== --- plugins/BufferList/trunk/bufferlist/BufferList.java 2012-06-20 19:39:08 UTC (rev 21848) +++ plugins/BufferList/trunk/bufferlist/BufferList.java 2012-06-21 16:02:40 UTC (rev 21849) @@ -857,38 +857,45 @@ // if user didn't select any buffer, or selected only one buffer, // then select entry at mouse position: TreePath[] paths = tree.getSelectionPaths(); - if (paths == null || paths.length == 1) - { - TreePath locPath = tree.getClosestPathForLocation(e.getX(), e.getY()); - if (locPath != null) + try { + ignoreSelectionChange=true; + if (paths == null || paths.length <= 1) { - Rectangle nodeRect = tree.getPathBounds(locPath); - if (nodeRect != null && nodeRect.contains(e.getX(), e.getY())) + System.out.println("paths="+paths); + TreePath locPath = tree.getClosestPathForLocation(e.getX(), e.getY()); + if (locPath != null) { - paths = new TreePath[] { locPath }; - tree.setSelectionPath(locPath); + Rectangle nodeRect = tree.getPathBounds(locPath); + if (nodeRect != null && nodeRect.contains(e.getX(), e.getY())) + { + paths = new TreePath[] { locPath }; + tree.setSelectionPath(locPath); + } } } - } - // check whether user selected a directory node: - if (paths != null) - { - for (int i = 0; i < paths.length; ++i) + // check whether user selected a directory node: + if (paths != null) { - BufferListTreeNode node = (BufferListTreeNode) paths[i].getLastPathComponent(); - Object obj = node.getUserObject(); - if (obj != null && obj instanceof String) + System.out.println("paths!=null, length="+paths.length); + for (int i = 0; i < paths.length; ++i) { - // user selected directory node; select all entries - // below it: - Enumeration<BufferListTreeNode> children = node.depthFirstEnumeration(); - while (children.hasMoreElements()) + BufferListTreeNode node = (BufferListTreeNode) paths[i].getLastPathComponent(); + System.out.println(i+": node="+node); + if (node.isDirNode()) { - BufferListTreeNode childNode = children.nextElement(); - tree.addSelectionPath(new TreePath(childNode.getPath())); + // user selected directory node; select all entries + // below it: + Enumeration<BufferListTreeNode> children = node.depthFirstEnumeration(); + while (children.hasMoreElements()) + { + BufferListTreeNode childNode = children.nextElement(); + tree.addSelectionPath(new TreePath(childNode.getPath())); + } } } } + } finally { + ignoreSelectionChange=false; } // create & show popup paths = tree.getSelectionPaths(); This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: <ez...@us...> - 2012-06-21 17:21:21
|
Revision: 21853 http://jedit.svn.sourceforge.net/jedit/?rev=21853&view=rev Author: ezust Date: 2012-06-21 17:21:15 +0000 (Thu, 21 Jun 2012) Log Message: ----------- Fixing #1103435 and #3530560. Modified Paths: -------------- plugins/BufferList/trunk/BufferList.html plugins/BufferList/trunk/BufferList.props plugins/BufferList/trunk/bufferlist/BufferList.java Modified: plugins/BufferList/trunk/BufferList.html =================================================================== --- plugins/BufferList/trunk/BufferList.html 2012-06-21 16:59:14 UTC (rev 21852) +++ plugins/BufferList/trunk/BufferList.html 2012-06-21 17:21:15 UTC (rev 21853) @@ -181,12 +181,16 @@ <UL> <LI><B>VERSION 1.4 (2012/06)</B> <ul> + <li> #3530560: BufferList not BufferSet-aware -Alan Ezust </li> + <li> #1103435: Case insenensitive comparison on Windows - Alan Ezust </li> <li> Fixed #3307762: Right click close on directory nodes. Patch# 3536753 - Patric Bechtel. </li> + <li> Compress paths with Miscutilities.abbreviate() - Alan Ezust. </li> </ul> </LI> <LI><B>VERSION 1.3 (2011/03)</B> <UL> - <LI>Fixed go to next/previous buffer in list (#3213492)</LI> + <li>Shows active buffer on startup (#2002326) </li> + <li>Fixed go to next/previous buffer in list (#3213492)</li> </UL> </LI> <LI><B>VERSION 1.2 (2008/04)</B> Modified: plugins/BufferList/trunk/BufferList.props =================================================================== --- plugins/BufferList/trunk/BufferList.props 2012-06-21 16:59:14 UTC (rev 21852) +++ plugins/BufferList/trunk/BufferList.props 2012-06-21 17:21:15 UTC (rev 21853) @@ -22,11 +22,11 @@ plugin.bufferlist.BufferListPlugin.activate=defer plugin.bufferlist.BufferListPlugin.name=BufferList plugin.bufferlist.BufferListPlugin.author=Dirk Moebius -plugin.bufferlist.BufferListPlugin.version=1.3.1 +plugin.bufferlist.BufferListPlugin.version=1.4 plugin.bufferlist.BufferListPlugin.docs=BufferList.html plugin.bufferlist.BufferListPlugin.usePluginHome=true -plugin.bufferlist.BufferListPlugin.depend.0=jedit 04.03.99.00 -plugin.bufferlist.BufferListPlugin.depend.1=jdk 1.5 +plugin.bufferlist.BufferListPlugin.depend.0=jedit 04.05.99.00 +plugin.bufferlist.BufferListPlugin.depend.1=jdk 1.6 plugin.bufferlist.BufferListPlugin.depend.2=plugin GnuRegexpPlugin 1.0.1 plugin.bufferlist.BufferListPlugin.description=The BufferList Plugin shows the list of currently open files in a tree. plugin.bufferlist.BufferListPlugin.usePluginHome=true Modified: plugins/BufferList/trunk/bufferlist/BufferList.java =================================================================== --- plugins/BufferList/trunk/bufferlist/BufferList.java 2012-06-21 16:59:14 UTC (rev 21852) +++ plugins/BufferList/trunk/bufferlist/BufferList.java 2012-06-21 17:21:15 UTC (rev 21853) @@ -30,6 +30,7 @@ import java.awt.event.KeyEvent; import java.awt.event.MouseAdapter; import java.awt.event.MouseEvent; +import java.util.ArrayList; import java.util.Arrays; import java.util.Comparator; import java.util.Enumeration; @@ -52,8 +53,12 @@ import org.gjt.sp.jedit.EBComponent; import org.gjt.sp.jedit.EBMessage; import org.gjt.sp.jedit.EditBus; +import org.gjt.sp.jedit.EditPane; import org.gjt.sp.jedit.GUIUtilities; +import org.gjt.sp.jedit.MiscUtilities; import org.gjt.sp.jedit.View; +import org.gjt.sp.jedit.bufferset.BufferSet; +import org.gjt.sp.jedit.bufferset.BufferSetManager; import org.gjt.sp.jedit.jEdit; import org.gjt.sp.jedit.gui.DockableWindowManager; import org.gjt.sp.jedit.io.VFS; @@ -673,13 +678,32 @@ restoreExpansionState(); } // }}} + private Buffer[] getBuffers() { + BufferSetManager mgr = jEdit.getBufferSetManager(); + if (mgr.getScope() == BufferSet.Scope.global) + return jEdit.getBuffers(); + ArrayList<Buffer> retval = new ArrayList<Buffer>(); + for (EditPane ep: view.getEditPanes()) { + BufferSet bs = ep.getBufferSet(); + for (Buffer b: bs.getAllBuffers()) + retval.add(b); + if (mgr.getScope() == BufferSet.Scope.view) + break; + } + Buffer[] bufs = new Buffer[retval.size()]; + retval.toArray(bufs); + return bufs; + } + // {{{ -createModel() : void /** * Sets a new tree model. */ private void createModel() { - Buffer[] buffers = jEdit.getBuffers(); + + Buffer[] buffers = getBuffers(); + Arrays.sort(buffers, new Comparator<Buffer>() { public int compare(Buffer buf1, Buffer buf2) @@ -693,6 +717,7 @@ String dir1 = getDir(buf1); String dir2 = getDir(buf2); int cmpDir = StandardUtilities.compareStrings(dir1, dir2, sortIgnoreCase); + if (MiscUtilities.pathsEqual(dir1, dir2)) cmpDir = 0; if (cmpDir == 0) { return StandardUtilities.compareStrings(buf1.getName(), buf2.getName(), This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: <kp...@us...> - 2012-06-22 08:14:19
|
Revision: 21859 http://jedit.svn.sourceforge.net/jedit/?rev=21859&view=rev Author: kpouer Date: 2012-06-22 08:14:09 +0000 (Fri, 22 Jun 2012) Log Message: ----------- Fix for bug #1103435 when a file is opened with a lowercase drive letter and another one in the same directory with uppercase drive letter, the two files were separated in the bufferlist tree Modified Paths: -------------- plugins/BufferList/trunk/BufferList.html plugins/BufferList/trunk/bufferlist/BufferList.java Modified: plugins/BufferList/trunk/BufferList.html =================================================================== --- plugins/BufferList/trunk/BufferList.html 2012-06-22 07:42:30 UTC (rev 21858) +++ plugins/BufferList/trunk/BufferList.html 2012-06-22 08:14:09 UTC (rev 21859) @@ -185,6 +185,7 @@ <li> #1103435: Case insenensitive comparison on Windows - Alan Ezust </li> <li> Fixed #3307762: Right click close on directory nodes. Patch# 3536753 - Patric Bechtel. </li> <li> Compress paths with Miscutilities.abbreviate() - Alan Ezust. </li> + <li> #1103435 Fixed inconsistent drive letter handling - Matthieu Casanova </li> </ul> </LI> <LI><B>VERSION 1.3 (2011/03)</B> Modified: plugins/BufferList/trunk/bufferlist/BufferList.java =================================================================== --- plugins/BufferList/trunk/bufferlist/BufferList.java 2012-06-22 07:42:30 UTC (rev 21858) +++ plugins/BufferList/trunk/bufferlist/BufferList.java 2012-06-22 08:14:09 UTC (rev 21859) @@ -56,6 +56,7 @@ import org.gjt.sp.jedit.EditPane; import org.gjt.sp.jedit.GUIUtilities; import org.gjt.sp.jedit.MiscUtilities; +import org.gjt.sp.jedit.OperatingSystem; import org.gjt.sp.jedit.View; import org.gjt.sp.jedit.bufferset.BufferSet; import org.gjt.sp.jedit.bufferset.BufferSetManager; @@ -522,11 +523,16 @@ { return rootNode; } - BufferListTreeNode node = distinctDirs.get(path); + String comparablePath = path; + if ((vfs.getCapabilities() & VFS.CASE_INSENSITIVE_CAP) != 0) + { + comparablePath = path.toUpperCase(); + } + BufferListTreeNode node = distinctDirs.get(comparablePath); if (node == null) { node = new BufferListTreeNode(path, true); - distinctDirs.put(path, node); + distinctDirs.put(comparablePath, node); } if (!node.isConnected()) { This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: <jar...@us...> - 2012-07-23 15:33:57
|
Revision: 21946 http://jedit.svn.sourceforge.net/jedit/?rev=21946&view=rev Author: jarekczek Date: 2012-07-23 15:33:47 +0000 (Mon, 23 Jul 2012) Log Message: ----------- Fixed items collapsing on save (patch #3538054, Andy Balaam) Modified Paths: -------------- plugins/BufferList/trunk/BufferList.html plugins/BufferList/trunk/BufferList.props plugins/BufferList/trunk/bufferlist/BufferList.java Modified: plugins/BufferList/trunk/BufferList.html =================================================================== --- plugins/BufferList/trunk/BufferList.html 2012-07-21 01:38:57 UTC (rev 21945) +++ plugins/BufferList/trunk/BufferList.html 2012-07-23 15:33:47 UTC (rev 21946) @@ -179,6 +179,11 @@ <UL> + <LI><B>VERSION 1.5</B> + <UL> + <li>Fixed items collapsing on save (patch #3538054, Andy Balaam)</li> + </UL> + </LI> <LI><B>VERSION 1.4 (2012/06)</B> <ul> <li> #3530560: BufferList not BufferSet-aware -Alan Ezust </li> Modified: plugins/BufferList/trunk/BufferList.props =================================================================== --- plugins/BufferList/trunk/BufferList.props 2012-07-21 01:38:57 UTC (rev 21945) +++ plugins/BufferList/trunk/BufferList.props 2012-07-23 15:33:47 UTC (rev 21946) @@ -22,6 +22,8 @@ plugin.bufferlist.BufferListPlugin.activate=defer plugin.bufferlist.BufferListPlugin.name=BufferList plugin.bufferlist.BufferListPlugin.author=Dirk Moebius +# this plugin marks the versions with dates in help file, so do it +# in BufferList.html after bumping version number plugin.bufferlist.BufferListPlugin.version=1.4 plugin.bufferlist.BufferListPlugin.docs=BufferList.html plugin.bufferlist.BufferListPlugin.usePluginHome=true Modified: plugins/BufferList/trunk/bufferlist/BufferList.java =================================================================== --- plugins/BufferList/trunk/bufferlist/BufferList.java 2012-07-21 01:38:57 UTC (rev 21945) +++ plugins/BufferList/trunk/bufferlist/BufferList.java 2012-07-23 15:33:47 UTC (rev 21946) @@ -647,7 +647,13 @@ node.setExpanded(true); if (node != rootNode) { - distinctDirs.put(node.getUserPath(), node); + String comparablePath = node.getUserPath(); + VFS vfs = VFSManager.getVFSForPath(comparablePath); + if ((vfs.getCapabilities() & VFS.CASE_INSENSITIVE_CAP) != 0) + { + comparablePath = comparablePath.toUpperCase(); + } + distinctDirs.put(comparablePath, node); } } else This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: <ez...@us...> - 2012-07-23 16:16:48
|
Revision: 21947 http://jedit.svn.sourceforge.net/jedit/?rev=21947&view=rev Author: ezust Date: 2012-07-23 16:16:38 +0000 (Mon, 23 Jul 2012) Log Message: ----------- Fixed error in changelog, bumped version. Modified Paths: -------------- plugins/BufferList/trunk/BufferList.html plugins/BufferList/trunk/BufferList.props Modified: plugins/BufferList/trunk/BufferList.html =================================================================== --- plugins/BufferList/trunk/BufferList.html 2012-07-23 15:33:47 UTC (rev 21946) +++ plugins/BufferList/trunk/BufferList.html 2012-07-23 16:16:38 UTC (rev 21947) @@ -181,7 +181,7 @@ <UL> <LI><B>VERSION 1.5</B> <UL> - <li>Fixed items collapsing on save (patch #3538054, Andy Balaam)</li> + <li>Fixed items collapsing on save (patch #3538054, Gerard Smyth)</li> </UL> </LI> <LI><B>VERSION 1.4 (2012/06)</B> Modified: plugins/BufferList/trunk/BufferList.props =================================================================== --- plugins/BufferList/trunk/BufferList.props 2012-07-23 15:33:47 UTC (rev 21946) +++ plugins/BufferList/trunk/BufferList.props 2012-07-23 16:16:38 UTC (rev 21947) @@ -22,9 +22,9 @@ plugin.bufferlist.BufferListPlugin.activate=defer plugin.bufferlist.BufferListPlugin.name=BufferList plugin.bufferlist.BufferListPlugin.author=Dirk Moebius -# this plugin marks the versions with dates in help file, so do it -# in BufferList.html after bumping version number -plugin.bufferlist.BufferListPlugin.version=1.4 +# bump to 1.5 before release. +# Also update BufferList.html after bumping version number +plugin.bufferlist.BufferListPlugin.version=1.4.1 plugin.bufferlist.BufferListPlugin.docs=BufferList.html plugin.bufferlist.BufferListPlugin.usePluginHome=true plugin.bufferlist.BufferListPlugin.depend.0=jedit 04.05.99.00 This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: <ez...@us...> - 2012-07-28 19:00:12
|
Revision: 21958 http://jedit.svn.sourceforge.net/jedit/?rev=21958&view=rev Author: ezust Date: 2012-07-28 19:00:06 +0000 (Sat, 28 Jul 2012) Log Message: ----------- Fixed not highlighting active filenames (#3545449, Gerard Smyth) Modified Paths: -------------- plugins/BufferList/trunk/BufferList.html plugins/BufferList/trunk/bufferlist/BufferList.java Modified: plugins/BufferList/trunk/BufferList.html =================================================================== --- plugins/BufferList/trunk/BufferList.html 2012-07-28 14:02:59 UTC (rev 21957) +++ plugins/BufferList/trunk/BufferList.html 2012-07-28 19:00:06 UTC (rev 21958) @@ -167,7 +167,6 @@ </P> <UL> - <LI>Andrey Khalyavin <a href="mailto:hal...@la..."><EM><hal...@la...></EM></a>, or</LI> <LI>jEdit-users mailing-list <a href="mailto:jed...@li..."><EM><jed...@li...></EM></a>, or</LI> <LI>jEdit-devel mailing-list <a href="mailto:jed...@li..."><EM><jed...@li...></EM></a>.</LI> </UL> @@ -182,6 +181,7 @@ <LI><B>VERSION 1.5</B> <UL> <li>Fixed items collapsing on save (patch #3538054, Gerard Smyth)</li> + <li>Fixed not highlighting active filenames (#3545449, Gerard Smyth)</li> </UL> </LI> <LI><B>VERSION 1.4 (2012/06)</B> Modified: plugins/BufferList/trunk/bufferlist/BufferList.java =================================================================== --- plugins/BufferList/trunk/bufferlist/BufferList.java 2012-07-28 14:02:59 UTC (rev 21957) +++ plugins/BufferList/trunk/bufferlist/BufferList.java 2012-07-28 19:00:06 UTC (rev 21958) @@ -67,6 +67,7 @@ import org.gjt.sp.jedit.msg.BufferUpdate; import org.gjt.sp.jedit.msg.EditPaneUpdate; import org.gjt.sp.jedit.msg.PropertiesChanged; +import org.gjt.sp.jedit.msg.ViewUpdate; import org.gjt.sp.util.StandardUtilities; // }}} @@ -432,6 +433,10 @@ { handlePropertiesChanged(); } + else if (message instanceof ViewUpdate) + { + handleViewUpdate((ViewUpdate) message); + } } // }}} // {{{ -handleBufferUpdate(BufferUpdate) : void @@ -490,6 +495,20 @@ // set new cell renderer to change fonts: tree.setCellRenderer(new BufferListRenderer(view)); } // }}} + + // {{{ -handleViewUpdate(ViewUpdate) : void + private void handleViewUpdate(ViewUpdate vu) + { + View v = vu.getView(); + if (v != view) + { + return; // not for this BufferList instance + } + if (vu.getWhat() == ViewUpdate.EDIT_PANE_CHANGED) + { + currentBufferChanged(); + } + } // }}} // {{{ -updateBufferCounts() : void private void updateBufferCounts() This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: <ez...@us...> - 2012-09-08 22:50:44
|
Revision: 22179 http://jedit.svn.sourceforge.net/jedit/?rev=22179&view=rev Author: ezust Date: 2012-09-08 22:50:37 +0000 (Sat, 08 Sep 2012) Log Message: ----------- Bumping to 1.5 Modified Paths: -------------- plugins/BufferList/trunk/BufferList.html plugins/BufferList/trunk/BufferList.props Modified: plugins/BufferList/trunk/BufferList.html =================================================================== --- plugins/BufferList/trunk/BufferList.html 2012-09-08 15:34:06 UTC (rev 22178) +++ plugins/BufferList/trunk/BufferList.html 2012-09-08 22:50:37 UTC (rev 22179) @@ -178,7 +178,7 @@ <UL> - <LI><B>VERSION 1.5</B> + <LI><B>VERSION 1.5 (2012/09)</B> <UL> <li>Fixed items collapsing on save (patch #3538054, Gerard Smyth)</li> <li>Fixed not highlighting active filenames (#3545449, Gerard Smyth)</li> Modified: plugins/BufferList/trunk/BufferList.props =================================================================== --- plugins/BufferList/trunk/BufferList.props 2012-09-08 15:34:06 UTC (rev 22178) +++ plugins/BufferList/trunk/BufferList.props 2012-09-08 22:50:37 UTC (rev 22179) @@ -24,7 +24,7 @@ plugin.bufferlist.BufferListPlugin.author=Dirk Moebius # bump to 1.5 before release. # Also update BufferList.html after bumping version number -plugin.bufferlist.BufferListPlugin.version=1.4.1 +plugin.bufferlist.BufferListPlugin.version=1.5 plugin.bufferlist.BufferListPlugin.docs=BufferList.html plugin.bufferlist.BufferListPlugin.usePluginHome=true plugin.bufferlist.BufferListPlugin.depend.0=jedit 04.05.99.00 This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: <ez...@us...> - 2014-08-11 06:02:01
|
Revision: 23648 http://sourceforge.net/p/jedit/svn/23648 Author: ezust Date: 2014-08-11 06:01:53 +0000 (Mon, 11 Aug 2014) Log Message: ----------- Refactored to use Global Options - View - Abbreviate paths option instead of having a separate option just for this plugin. Modified Paths: -------------- plugins/BufferList/trunk/BufferList.props plugins/BufferList/trunk/bufferlist/BufferListOptionPane.java plugins/BufferList/trunk/bufferlist/BufferListRenderer.java plugins/BufferList/trunk/build.xml plugins/BufferList/trunk/lang_fr.properties Modified: plugins/BufferList/trunk/BufferList.props =================================================================== --- plugins/BufferList/trunk/BufferList.props 2014-08-10 16:54:07 UTC (rev 23647) +++ plugins/BufferList/trunk/BufferList.props 2014-08-11 06:01:53 UTC (rev 23648) @@ -24,10 +24,10 @@ plugin.bufferlist.BufferListPlugin.author=Dirk Moebius # bump to 1.5 before release. # Also update BufferList.html after bumping version number -plugin.bufferlist.BufferListPlugin.version=1.5 +plugin.bufferlist.BufferListPlugin.version=1.5.1 plugin.bufferlist.BufferListPlugin.docs=BufferList.html plugin.bufferlist.BufferListPlugin.usePluginHome=true -plugin.bufferlist.BufferListPlugin.depend.0=jedit 04.05.99.00 +plugin.bufferlist.BufferListPlugin.depend.0=jedit 05.01.99.00 plugin.bufferlist.BufferListPlugin.depend.1=jdk 1.6 plugin.bufferlist.BufferListPlugin.depend.2=plugin GnuRegexpPlugin 1.0.1 plugin.bufferlist.BufferListPlugin.description=The BufferList Plugin shows the list of currently open files in a tree. @@ -41,7 +41,6 @@ # displayMode: 2 == BufferList.DISPLAY_MODE_HIERARCHICAL bufferlist.displayMode=1 bufferlist.closeFilesOnDoubleClick=true -bufferlist.shortenHome=true bufferlist.textClipping=1 #}}} @@ -97,7 +96,6 @@ options.bufferlist.closeFilesOnDoubleClick=Close files on double click options.bufferlist.startExpanded=Fully expand directory tree by default options.bufferlist.displayMode=Use flat tree by default -options.bufferlist.shortenHome=Compress paths with variable prefixes in tree options.bufferlist.textClipping.label=Clip long paths with "...": options.bufferlist.textClipping.start=at start options.bufferlist.textClipping.end=at end Modified: plugins/BufferList/trunk/bufferlist/BufferListOptionPane.java =================================================================== --- plugins/BufferList/trunk/bufferlist/BufferListOptionPane.java 2014-08-10 16:54:07 UTC (rev 23647) +++ plugins/BufferList/trunk/bufferlist/BufferListOptionPane.java 2014-08-11 06:01:53 UTC (rev 23648) @@ -53,8 +53,6 @@ private JCheckBox bFlatTree; - private JCheckBox bShortenHome; - private JRadioButton rbTextClipStart; private JRadioButton rbTextClipEnd; @@ -87,9 +85,6 @@ jEdit.getProperty("options.bufferlist.displayMode"), jEdit.getIntegerProperty("bufferlist.displayMode", BufferList.DISPLAY_MODE_FLAT_TREE) == BufferList.DISPLAY_MODE_FLAT_TREE); - bShortenHome = new JCheckBox(jEdit.getProperty("options.bufferlist.shortenHome"), jEdit - .getBooleanProperty("bufferlist.shortenHome", true)); - rbTextClipStart = new JRadioButton(jEdit .getProperty("options.bufferlist.textClipping.start")); rbTextClipEnd = new JRadioButton(jEdit.getProperty("options.bufferlist.textClipping.end")); @@ -118,7 +113,6 @@ addComponent(bCloseFilesOnDoubleClick); addComponent(bStartExpanded); addComponent(bFlatTree); - addComponent(bShortenHome); addComponent(new JLabel(jEdit.getProperty("options.bufferlist.textClipping.label"))); addComponent(" ", rbTextClipStart); addComponent(" ", rbTextClipEnd); @@ -135,8 +129,7 @@ jEdit.setBooleanProperty("bufferlist.startExpanded", bStartExpanded.isSelected()); jEdit.setIntegerProperty("bufferlist.displayMode", bFlatTree.isSelected() ? BufferList.DISPLAY_MODE_FLAT_TREE - : BufferList.DISPLAY_MODE_HIERARCHICAL); - jEdit.setBooleanProperty("bufferlist.shortenHome", bShortenHome.isSelected()); + : BufferList.DISPLAY_MODE_HIERARCHICAL); jEdit.setIntegerProperty("bufferlist.textClipping", rbTextClipNone.isSelected() ? 0 : rbTextClipStart.isSelected() ? 1 : 2); } // }}} Modified: plugins/BufferList/trunk/bufferlist/BufferListRenderer.java =================================================================== --- plugins/BufferList/trunk/bufferlist/BufferListRenderer.java 2014-08-10 16:54:07 UTC (rev 23647) +++ plugins/BufferList/trunk/bufferlist/BufferListRenderer.java 2014-08-11 06:01:53 UTC (rev 23648) @@ -144,10 +144,7 @@ { // Directory entry String path = (String) node.getUserObject(); - if (jEdit.getBooleanProperty("bufferlist.shortenHome", true)) - { - path = MiscUtilities.abbreviate(path); - } + path = MiscUtilities.abbreviateView(path); // setText((node.isExpanded()?"+":"-")+node.getReused()+":"+obj.toString()); // // NOTE: debug only setText(path); Modified: plugins/BufferList/trunk/build.xml =================================================================== --- plugins/BufferList/trunk/build.xml 2014-08-10 16:54:07 UTC (rev 23647) +++ plugins/BufferList/trunk/build.xml 2014-08-11 06:01:53 UTC (rev 23648) @@ -1,11 +1,7 @@ -<?xml version="1.0"?> - <project name="BufferList" default="dist" basedir="."> <property file="build.properties" /> <property file="../build.properties" /> <property name="build.support" value="../../build-support" /> - <property name="compiler.source" value="1.5" /> - <property name="compiler.target" value="1.5" /> <property name="docs-proc.target" value="none" /> <import file="${build.support}/plugin-build.xml" /> <selector id="packageFiles"> Modified: plugins/BufferList/trunk/lang_fr.properties =================================================================== --- plugins/BufferList/trunk/lang_fr.properties 2014-08-10 16:54:07 UTC (rev 23647) +++ plugins/BufferList/trunk/lang_fr.properties 2014-08-11 06:01:53 UTC (rev 23648) @@ -46,7 +46,6 @@ options.bufferlist.closeFilesOnDoubleClick=Fermer les fichiers par un double-clic options.bufferlist.startExpanded=Développer complètement l'arborescence des dossiers par défaut options.bufferlist.displayMode=Utiliser une arborescence à plat par défaut -options.bufferlist.shortenHome=Raccourcir les chemins par des préfixes dans l'arborescence options.bufferlist.textClipping.label=Raccourcir les chemins longs par "..." : options.bufferlist.textClipping.start=au début options.bufferlist.textClipping.end=à la fin This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |
From: <ez...@us...> - 2014-10-28 18:51:24
|
Revision: 23709 http://sourceforge.net/p/jedit/svn/23709 Author: ezust Date: 2014-10-28 18:51:15 +0000 (Tue, 28 Oct 2014) Log Message: ----------- Cleanups due to jEdit 5.2 API. Modified Paths: -------------- plugins/BufferList/trunk/BufferList.html plugins/BufferList/trunk/BufferList.props plugins/BufferList/trunk/bufferlist/BufferList.java Modified: plugins/BufferList/trunk/BufferList.html =================================================================== --- plugins/BufferList/trunk/BufferList.html 2014-10-28 18:05:21 UTC (rev 23708) +++ plugins/BufferList/trunk/BufferList.html 2014-10-28 18:51:15 UTC (rev 23709) @@ -21,7 +21,7 @@ </TABLE> <P> -Contributions by Slava Pestov, Stefan Radig, Lee Turner, Karsten Pilz, Daniel Wunsch. +Contributions by Slava Pestov, Stefan Radig, Lee Turner, Karsten Pilz, Daniel Wunsch, Alan Ezust. </P> @@ -178,6 +178,13 @@ <UL> + <li><b>Version 1.6 </b> + <ul> + <li> Updates/cleanups for jEdit 5.2 API. </li> + <li> Abbreviates paths according to jEdit's General View option. </li> + </ul> + </li> + <LI><B>VERSION 1.5 (2012/09)</B> <UL> <li>Fixed items collapsing on save (patch #3538054, Gerard Smyth)</li> Modified: plugins/BufferList/trunk/BufferList.props =================================================================== --- plugins/BufferList/trunk/BufferList.props 2014-10-28 18:05:21 UTC (rev 23708) +++ plugins/BufferList/trunk/BufferList.props 2014-10-28 18:51:15 UTC (rev 23709) @@ -22,13 +22,13 @@ plugin.bufferlist.BufferListPlugin.activate=defer plugin.bufferlist.BufferListPlugin.name=BufferList plugin.bufferlist.BufferListPlugin.author=Dirk Moebius -# bump to 1.5 before release. +# bump to 1.6 or 1.5.2 before release # Also update BufferList.html after bumping version number plugin.bufferlist.BufferListPlugin.version=1.5.1 plugin.bufferlist.BufferListPlugin.docs=BufferList.html plugin.bufferlist.BufferListPlugin.usePluginHome=true -plugin.bufferlist.BufferListPlugin.depend.0=jedit 05.01.99.00 -plugin.bufferlist.BufferListPlugin.depend.1=jdk 1.6 +plugin.bufferlist.BufferListPlugin.depend.0=jedit 05.02.01.00 +plugin.bufferlist.BufferListPlugin.depend.1=jdk 1.7 plugin.bufferlist.BufferListPlugin.depend.2=plugin GnuRegexpPlugin 1.0.1 plugin.bufferlist.BufferListPlugin.description=The BufferList Plugin shows the list of currently open files in a tree. plugin.bufferlist.BufferListPlugin.usePluginHome=true Modified: plugins/BufferList/trunk/bufferlist/BufferList.java =================================================================== --- plugins/BufferList/trunk/bufferlist/BufferList.java 2014-10-28 18:05:21 UTC (rev 23708) +++ plugins/BufferList/trunk/bufferlist/BufferList.java 2014-10-28 18:51:15 UTC (rev 23709) @@ -514,7 +514,7 @@ private void updateBufferCounts() { int dirtyBuffers = 0; - Buffer buffers[] = getBuffers(); + Buffer buffers[] = view.getBuffers(); for (Buffer buffer : buffers) { if (buffer.isDirty()) @@ -708,25 +708,6 @@ createModel(); restoreExpansionState(); } // }}} - - //{{{ -getBuffers(): Buffer[] - /** - * Returns an array of Buffers opened from view. - */ - private Buffer[] getBuffers() { - BufferSetManager mgr = jEdit.getBufferSetManager(); - HashSet<Buffer> retval = new HashSet<Buffer>(); - for (EditPane ep: view.getEditPanes()) { - BufferSet bs = ep.getBufferSet(); - for (Buffer b: bs.getAllBuffers()) - retval.add(b); - if (mgr.getScope() != BufferSet.Scope.editpane) - break; - } - Buffer[] bufs = new Buffer[retval.size()]; - retval.toArray(bufs); - return bufs; - } // {{{ -createModel() : void /** @@ -735,34 +716,7 @@ private void createModel() { - Buffer[] buffers = getBuffers(); - - Arrays.sort(buffers, new Comparator<Buffer>() - { - public int compare(Buffer buf1, Buffer buf2) - { - if (buf1 == buf2) - { - return 0; - } - else - { - String dir1 = getDir(buf1); - String dir2 = getDir(buf2); - int cmpDir = StandardUtilities.compareStrings(dir1, dir2, sortIgnoreCase); - if (MiscUtilities.pathsEqual(dir1, dir2)) cmpDir = 0; - if (cmpDir == 0) - { - return StandardUtilities.compareStrings(buf1.getName(), buf2.getName(), - sortIgnoreCase); - } - else - { - return cmpDir; - } - } - } - }); + Buffer[] buffers = view.getBuffers(); for (BufferListTreeNode node : distinctDirs.values()) { node.removeAllChildren(); This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |