[ jEdit-commits ] SF.net SVN: jedit:[20742] plugins/Optional/trunk

[<ez...@us...>]

Revision: 20742
          http://jedit.svn.sourceforge.net/jedit/?rev=20742&view=rev
Author:   ezust
Date:     2012-01-10 16:59:51 +0000 (Tue, 10 Jan 2012)
Log Message:
-----------
Cleanup, save position of splitter.

Modified Paths:
--------------
    plugins/Optional/trunk/actions.xml
    plugins/Optional/trunk/optional/OptionGroupPane.java

Removed Paths:
-------------
    plugins/Optional/trunk/optional/OptionalOptions.java

Modified: plugins/Optional/trunk/actions.xml
===================================================================
--- plugins/Optional/trunk/actions.xml	2012-01-10 16:57:46 UTC (rev 20741)
+++ plugins/Optional/trunk/actions.xml	2012-01-10 16:59:51 UTC (rev 20742)
@@ -10,7 +10,7 @@
 			new optional.CombinedOptions(view, 2);
 		</CODE>
 	</ACTION>
-	
+
 	<ACTION NAME="global-options" >
 		<CODE>
 			new optional.CombinedOptions(view, 0);
@@ -22,21 +22,12 @@
 			new optional.CombinedOptions(view, 1);
 		</CODE>
 	</ACTION>
-
     	<!-- This is our own action: -->
-
-    
 	<ACTION NAME="optional.combined-options">
 		<CODE>
 			optional.CombinedOptions.combinedOptions(view);
 		</CODE>
 	</ACTION>
-    
-    <ACTION NAME="optional.export.settings">
-        <CODE>
-            new optional.ExportOptionsDialog(view);
-        </CODE>
-    </ACTION>
-    
+
 </ACTIONS>
 

Modified: plugins/Optional/trunk/optional/OptionGroupPane.java
===================================================================
--- plugins/Optional/trunk/optional/OptionGroupPane.java	2012-01-10 16:57:46 UTC (rev 20741)
+++ plugins/Optional/trunk/optional/OptionGroupPane.java	2012-01-10 16:59:51 UTC (rev 20742)
@@ -351,7 +351,10 @@
 	{
 		if (currentPane != null)
 			jEdit.setProperty(getName() + ".last", currentPane.getName());
+		int dividerPosition = splitter.getDividerLocation();
+		jEdit.setIntegerProperty(optionGroup.getName() + ".splitter", dividerPosition);
 
+
 		save(optionGroup);
 	}
 

Deleted: plugins/Optional/trunk/optional/OptionalOptions.java
===================================================================
--- plugins/Optional/trunk/optional/OptionalOptions.java	2012-01-10 16:57:46 UTC (rev 20741)
+++ plugins/Optional/trunk/optional/OptionalOptions.java	2012-01-10 16:59:51 UTC (rev 20742)
@@ -1,55 +0,0 @@
-/*
- * OptionalOptions.java -
- * :tabSize=8:indentSize=8:noTabs=false:
- * :folding=explicit:collapseFolds=1:
- *
- * (c) 2006 Alan Ezust
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
- */
-
-package optional;
-
-import javax.swing.JCheckBox;
-
-import org.gjt.sp.jedit.AbstractOptionPane;
-import org.gjt.sp.jedit.jEdit;
-
-
-
-/**
-   Option pane for Optional plugin.
-   Not currently used.
-   */
-
-public class OptionalOptions extends AbstractOptionPane
-{
-	JCheckBox useCombined;
-	public OptionalOptions() 
-	{
-		super("optional");
-	}
-	protected void _init() {
-		String useCombinedOptions = jEdit.getProperty("optional.combined.label");
-		useCombined = new JCheckBox(useCombinedOptions);
-		useCombined.setSelected(jEdit.getBooleanProperty("optional.combined"));
-		addComponent(useCombined);
-	}
-
-	protected void _save() {
-		boolean combined = useCombined.isSelected();
-		jEdit.setBooleanProperty("optional.combined", combined);
-	}
-}

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.