optionsforjeditbrowser.java

emacs的一个非常有用的插件,叫xrefactory,可以实现source insight里的那种函数跳转.和cscope(跳回来不方便)配合使用,非常的不错.

package com.xrefactory.jedit;

import java.io.*;
import javax.swing.*;
import org.gjt.sp.jedit.*;
import com.xrefactory.jedit.Options.*;
import com.xrefactory.jedit.OptionsForProjectsDialog.*;
import java.awt.*;
import java.awt.event.*;
import org.gjt.sp.jedit.gui.*;

public class OptionsForJeditBrowser extends AbstractOptionPane {

	JCheckBox fullAutoUpdate;
	JCheckBox updateBeforePush;
	JCheckBox referencePushingsKeepBrowserFilter;
	JCheckBox askBeforeBrowsingJavadoc;
	JCheckBox fileNamesCaseUnSensitive;
	JCheckBox srcWithReferences;

	JComboBox toolBarPosition;

	FontSelector 		font;
	ColorWellButton		foregroundColor;
	ColorWellButton		backgroundColor;
	ColorWellButton		selectionColor;
	ColorWellButton		symbolColor;
	ColorWellButton		nmSymbolColor;

	protected void _init() {
		s.setGlobalValues(s.getParentView(this), false);

		referencePushingsKeepBrowserFilter = new JCheckBox(
			"Keep reference filter over pushing (in browser)",
			Opt.referencePushingsKeepBrowserFilter());
		addComponent(referencePushingsKeepBrowserFilter);

		askBeforeBrowsingJavadoc = new JCheckBox(
			"Ask for confirmation before browsing URL",
			Opt.askBeforeBrowsingJavadoc());
		addComponent(askBeforeBrowsingJavadoc);

		updateBeforePush = new JCheckBox(
			"Update tags before pushing references",
			Opt.updateBeforePush());
		addComponent(updateBeforePush);

		fullAutoUpdate = new JCheckBox(
			"Updating of tags provides full update (with dependencies checks)",
			Opt.fullAutoUpdate());
		addComponent(fullAutoUpdate);

		srcWithReferences = new JCheckBox(
			"Display one line of source code along references",
			jEdit.getBooleanProperty(s.optBrowserSrcWithRefs, false));
		addComponent(srcWithReferences);

		/*&   // too dangerous
		  fileNamesCaseUnSensitive = new JCheckBox(
		  "File names are considered case unsensitive",
		  (projects.length>0 && projects[0].contains(fileNamesCaseUnsensitiveOpt)));
		  addComponent(fileNamesCaseUnSensitive);
		  &*/

		//&addComponent(new JPanel());

		toolBarPosition = new JComboBox(
			new String[]{"Left", "Right", "Top", "Bottom"}
			);
		toolBarPosition.setEditable(false);
		toolBarPosition.setSelectedItem(jEdit.getProperty(s.optBrowserToolBarPos));
		addComponent("Toolbar position: ", toolBarPosition);

		addComponent("Font:", font = new FontSelector(
			jEdit.getFontProperty(s.optBrowserFont, s.browserDefaultFont)
			));

		addComponent("Text color:", foregroundColor = new ColorWellButton(
			jEdit.getColorProperty(s.optBrowserFgColor, Color.black)),
			GridBagConstraints.VERTICAL);

		addComponent("Background color:", backgroundColor = new ColorWellButton(
			jEdit.getColorProperty(s.optBrowserBgColor, Color.white)),
			GridBagConstraints.VERTICAL);

		addComponent("Tree selection color:", selectionColor = new ColorWellButton(
			jEdit.getColorProperty(s.optBrowserSelectionColor, Color.blue)),
			GridBagConstraints.VERTICAL);

		addComponent("Tree symbol color:", symbolColor = new ColorWellButton(
			jEdit.getColorProperty(s.optBrowserSymbolColor, Color.red)),
			GridBagConstraints.VERTICAL);

		addComponent("Tree non member symbol color:", nmSymbolColor = new ColorWellButton(
			jEdit.getColorProperty(s.optBrowserNmSymbolColor, s.light_gray)),
			GridBagConstraints.VERTICAL);

	}


	protected void _save() {
		Opt.fullAutoUpdate(fullAutoUpdate.isSelected());
		Opt.setAskBeforeBrowsingJavadoc(askBeforeBrowsingJavadoc.isSelected());
		Opt.setUpdateBeforePush(updateBeforePush.isSelected());
		Opt.setReferencePushingsKeepBrowserFilter(referencePushingsKeepBrowserFilter.isSelected());
		
		jEdit.setProperty(s.optBrowserToolBarPos, (String)toolBarPosition.getSelectedItem());
		jEdit.setFontProperty(s.optBrowserFont,font.getFont());
		jEdit.setColorProperty(s.optBrowserFgColor,foregroundColor.getSelectedColor());
		jEdit.setColorProperty(s.optBrowserBgColor,backgroundColor.getSelectedColor());
		jEdit.setColorProperty(s.optBrowserSelectionColor,selectionColor.getSelectedColor());
		jEdit.setColorProperty(s.optBrowserSymbolColor,symbolColor.getSelectedColor());
		jEdit.setColorProperty(s.optBrowserNmSymbolColor,nmSymbolColor.getSelectedColor());
		jEdit.setBooleanProperty(s.optBrowserSrcWithRefs, srcWithReferences.isSelected());

		s.setupCtreeFontsAndColors();
		s.updateBrowserVisage();
	}

	public OptionsForJeditBrowser() {
		super("xrefactory-browser");
	}
}