This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "BufferSelector jEdit plugin".
The branch, master has been updated
via 62583caf702f56ba24ab95a588813d0e667bdf21 (commit)
from f61ac9c4469d56d473b920f5b9ad1ab46d8063f2 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit: http://sourceforge.net/p/jedit/BufferSelector/ci/62583caf702f56ba24ab95a588813d0e667bdf21/
tree: http://sourceforge.net/p/jedit/BufferSelector/ci/62583caf702f56ba24ab95a588813d0e667bdf21/tree/
commit 62583caf702f56ba24ab95a588813d0e667bdf21
Author: Alan Ezust <ezust@...>
Date: Tue Feb 11 14:10:21 2014 -0800
Small changes.
diff --git a/BufferSelector.props b/BufferSelector.props
index e2e1002..afebbba 100644
--- a/BufferSelector.props
+++ b/BufferSelector.props
@@ -7,7 +7,7 @@ plugin.bufferselector.BufferSelectorPlugin.docs=index.html
plugin.bufferselector.BufferSelectorPlugin.activate=startup
plugin.bufferselector.BufferSelectorPlugin.depend.0=jdk 1.6
plugin.bufferselector.BufferSelectorPlugin.depend.1=jedit 05.00.99.00
-plugin.bufferselector.BufferSelectorPlugin.description=Creates a row of buttons, one for switching to each buffer, above the status bar.
+plugin.bufferselector.BufferSelectorPlugin.description=Creates a row of buttons, one for switching to each buffer, at the top or bottom of the View
button.hgap=0
button.vgap=0
diff --git a/bufferselector/NameSorter.java b/bufferselector/NameSorter.java
index 4490c7c..e0ff10f 100644
--- a/bufferselector/NameSorter.java
+++ b/bufferselector/NameSorter.java
@@ -6,8 +6,9 @@ import org.gjt.sp.util.StandardUtilities;
/** Sorts buffers by name, as jEdit does. Taken from jEdit BufferSet.java
- TODO: remove this class after depending on jEdit 5.2,
- at which point BufferSet.getSorter() and BufferSet.NameSorter are both public.
+ TODO: Remove this class after depending on jEdit 5.2,
+ at which point View.getBuffers() returns a sorted list
+ and we don't need to sort anymore.
*/
class NameSorter implements Comparator<Buffer>
{
diff --git a/description.html b/description.html
index 4dbb3a7..b3c7599 100644
--- a/description.html
+++ b/description.html
@@ -1,5 +1,4 @@
-<html>
<p>
-Creates a toolbar, as a row of buttons, one for switching to each buffer, above the status bar.
-Similar to BufferTabs, but the row of buttons is shared between EditPanes from the same View.
-</p></html>
+Creates a row of buttons, one for switching to each buffer, at the top or bottom of the View.
+Similar to BufferTabs, but the row of buttons is shared between EditPanes in the same View.
+</p>
-----------------------------------------------------------------------
Summary of changes:
BufferSelector.props | 2 +-
bufferselector/NameSorter.java | 5 +++--
description.html | 7 +++----
3 files changed, 7 insertions(+), 7 deletions(-)
hooks/post-receive
--
BufferSelector jEdit plugin