Diff of /BufferSelector.props [10c3e0] .. [09549c] Maximize Restore

  Switch to side-by-side view

--- a/BufferSelector.props
+++ b/BufferSelector.props
@@ -1,21 +1,16 @@
-# jEdit buffer-local properties:
-# :encoding=Native2ASCII:
 plugin.bufferselector.BufferSelectorPlugin.name=Buffer Selector
-plugin.bufferselector.BufferSelectorPlugin.author=Andr\u00E9 Kaplan
-plugin.bufferselector.BufferSelectorPlugin.version=1.9
-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.01.99.00
-plugin.bufferselector.BufferSelectorPlugin.description=Creates a row of buttons, one for switching to each buffer, at the top or bottom of the View
+plugin.bufferselector.BufferSelectorPlugin.author=Andre Kaplan
+plugin.bufferselector.BufferSelectorPlugin.version=1.0.6
+plugin.bufferselector.BufferSelectorPlugin.docs=users-guide.html
+
+plugin.bufferselector.BufferSelectorPlugin.depend.0=jdk 1.3
+plugin.bufferselector.BufferSelectorPlugin.depend.1=jedit 04.00.99.00
+
 button.hgap=0
 button.vgap=0
 
-plugin.bufferselector.BufferSelectorPlugin.menu-item=toggle-buffer-selector
+toggle-buffer-selector.label=Buffer Selector
 
-plugin.bufferselector.BufferSelectorPlugin.option-pane=buffer-selector
-options.buffer-selector.code=new bufferselector.BufferSelectorOptionPane();
-toggle-buffer-selector.label=Buffer Selector
 options.buffer-selector.label=Buffer Selector
 
 options.buffer-selector.default-enabled=Buffer Selector enabled by default