/plugins/CharacterMap/trunk/charactermap/CharacterMapOptionPane.java

# · Java · 343 lines · 220 code · 28 blank · 95 comment · 2 complexity · 65b761b3fe948376f58e75a5f5cbc2f9 MD5 · raw file 

    

  1. /*

    2. 

  2.  *  CharacterMapOptionPane.java

    3. 

  3.  * :folding=explicit:collapseFolds=1:

    4. 

  4.  *

    5. 

  5.  *  Copyright (C) 2003 Mark Wickens

    6. 

  6.  *  Copyright (C) 2012 Max Funk

    7. 

  7.  *

    8. 

  8.  *  This program is free software; you can redistribute it and/or

    9. 

  9.  *  modify it under the terms of the GNU General Public License

    10. 

  10.  *  as published by the Free Software Foundation; either version 2

    11. 

  11.  *  of the License, or any later version.

    12. 

  12.  *

    13. 

  13.  *  This program is distributed in the hope that it will be useful,

    14. 

  14.  *  but WITHOUT ANY WARRANTY; without even the implied warranty of

    15. 

  15.  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

    16. 

  16.  *  GNU General Public License for more details.

    17. 

  17.  *

    18. 

  18.  *  You should have received a copy of the GNU General Public License

    19. 

  19.  *  along with this program; if not, write to the Free Software

    20. 

  20.  *  Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.

    21. 

  21.  */

    22. 

  22. package charactermap;

    23. 

  23. 

    24. 

  24. //{{{ Imports

    25. 

  25. import java.awt.GridBagConstraints;

    26. 

  26. import java.awt.event.ActionEvent;

    27. 

  27. import java.awt.event.ActionListener;

    28. 

  28. import java.util.ArrayList;

    29. 

  29. import javax.swing.*;

    30. 

  30. import org.gjt.sp.jedit.AbstractOptionPane;

    31. 

  31. import org.gjt.sp.jedit.EditAction;

    32. 

  32. import org.gjt.sp.jedit.PluginJAR;

    33. 

  33. import org.gjt.sp.jedit.gui.ColorWellButton;

    34. 

  34. import org.gjt.sp.jedit.gui.DockableWindowManager;

    35. 

  35. import org.gjt.sp.jedit.jEdit;

    36. 

  36. //import org.gjt.sp.util.Log;

    37. 

  37. //}}}

    38. 

  38. 

    39. 

  39. /**

    40. 

  40.  * Options pane displayed when Character Map

    41. 

  41.  * is selected in the Plugin Options... tree

    42. 

  42.  * Allows the user to customize the appearence of the

    43. 

  43.  * character map plugin.

    44. 

  44.  */

    45. 

  45. public class CharacterMapOptionPane extends AbstractOptionPane

    46. 

  46. {

    47. 

  47. //{{{ Private Variables

    48. 

  48. 	/** Shortcut to CharacterMapPlugin.NAME_PREFIX */

    49. 

  49. 	private final String NAME_PREFIX = CharacterMapPlugin.NAME_PREFIX;

    50. 

  50. 	/** Shortcut to CharacterMapPlugin.OPTION_PREFIX */

    51. 

  51. 	private final String OPTION_PREFIX = CharacterMapPlugin.OPTION_PREFIX;

    52. 

  52. 

    53. 

  53. 	/** Checkbox controlling display of encoding combo box */

    54. 

  54. 	private JCheckBox encoding;

    55. 

  55. 	/** Checkbox controlling display of unicode blocks slider */

    56. 

  56. 	private JCheckBox blocks;

    57. 

  57. 	/** Checkbox to controlling alphabetic order of unicode blocks */

    58. 

  58. 	private JCheckBox blocksABC;

    59. 

  59. 	/** Checkbox to enable higher Unicode planes (Characters above 0xFFFF) */

    60. 

  60. 	private JCheckBox higherPlanes;

    61. 

  61. 	/** Checkbox controlling anti-aliasing */

    62. 

  62. 	private JCheckBox antiAlias;

    63. 

  63. 	/** Checkbox controlling display of status line */

    64. 

  64. 	private JCheckBox status;

    65. 

  65. 

    66. 

  66. 	/** Spinner controlling number of columns displayed in floating table */

    67. 

  67. 	private JSpinner columnsSpinner;

    68. 

  68. 	/** Spinner controlling number of columns displayed in left/right docked table */

    69. 

  69. 	private JSpinner columnsSpinnerDockLR;

    70. 

  70. 	/** Spinner controlling number of columns displayed in top/bottom docked table */

    71. 

  71. 	private JSpinner columnsSpinnerDockTB;

    72. 

  72. 	/** Label for spinner options (floating) */

    73. 

  73. 	private JLabel columnsSpinnerLabel;

    74. 

  74. 	/** Label for spinner options (docked left/right) */

    75. 

  75. 	private JLabel columnsSpinnerDockLRLabel;

    76. 

  76. 	/** Label for spinner options (docked top/bottom) */

    77. 

  77. 	private JLabel columnsSpinnerDockTBLabel;

    78. 

  78. 	/** List for spinner with possible numbers of columns */

    79. 

  79. 	private ArrayList<Integer> spinnerValues;

    80. 

  80. 	/** Model for spinner options (floating) */

    81. 

  81. 	private SpinnerModel spinnerModel;

    82. 

  82. 	/** Model for spinner options (docked left/right) */

    83. 

  83. 	private SpinnerModel spinnerModelDockLR;

    84. 

  84. 	/** Model for spinner options (docked top/bottom) */

    85. 

  85. 	private SpinnerModel spinnerModelDockTB;

    86. 

  86. 

    87. 

  87. 	/** Selector for normal character color */

    88. 

  88. 	private ColorWellButton normalColor;

    89. 

  89. 	/** Selector for control character color */

    90. 

  90. 	private ColorWellButton controlColor;

    91. 

  91. 	/** Selector for private use character color */

    92. 

  92. 	private ColorWellButton privateColor;

    93. 

  93. 	/** Selector for unassigned character color */

    94. 

  94. 	private ColorWellButton unassignedColor;

    95. 

  95. 	/** Selector for invalid character color */

    96. 

  96. 	private ColorWellButton invalidColor;

    97. 

  97. 

    98. 

  98. 	/** Checkbox controlling display of large character  */

    99. 

  99. 	private JCheckBox showLarge;

    100. 

  100. 	/** Textfield containing size of large character in points */

    101. 

  101. 	private JTextField largeSize;

    102. 

  102. 	/** Label for textfield containing large character size */

    103. 

  103. 	private JLabel largeSizeLabel;

    104. 

  104. 	/** Checkbox controlling display of super-size character */

    105. 

  105. 	private JCheckBox showSuper;

    106. 

  106. 	/** Textfield containing size of super character in points */

    107. 

  107. 	private JTextField superSize;

    108. 

  108. 	/** Label for textfield containing super character size */

    109. 

  109. 	private JLabel superSizeLabel;

    110. 

  110. //}}}

    111. 

  111. 

    112. 

  112. //{{{ Constructor

    113. 

  113. 		/**

    114. 

  114. 	 * Default constructor.

    115. 

  115. 	 */

    116. 

  116. 	public CharacterMapOptionPane()

    117. 

  117. 	{

    118. 

  118. 		super(CharacterMapPlugin.NAME);

    119. 

  119. 	}

    120. 

  120. //}}}

    121. 

  121. 

    122. 

  122. //{{{ _init() method

    123. 

  123. 	/**

    124. 

  124. 	 * Create and initialise the options page with options

    125. 

  125. 	 * and labels read from the properties for this plugin

    126. 

  126. 	 */

    127. 

  127. 	@Override

    128. 

  128. 	public void _init()

    129. 

  129. 	{

    130. 

  130. 		//Initialise general option components

    131. 

  131. 		encoding = new JCheckBox(jEdit.getProperty(OPTION_PREFIX + "encoding.label"),

    132. 

  132. 			jEdit.getBooleanProperty(OPTION_PREFIX + "encoding"));

    133. 

  133. 		blocks = new JCheckBox(jEdit.getProperty(OPTION_PREFIX + "blocks.label"),

    134. 

  134. 			jEdit.getBooleanProperty(OPTION_PREFIX + "blocks"));

    135. 

  135. 		blocksABC = new JCheckBox(jEdit.getProperty(OPTION_PREFIX + "blocks-abc.label"),

    136. 

  136. 			jEdit.getBooleanProperty(OPTION_PREFIX + "blocks-abc"));

    137. 

  137. 		higherPlanes = new JCheckBox(jEdit.getProperty(OPTION_PREFIX + "higher-planes.label"),

    138. 

  138. 			jEdit.getBooleanProperty(OPTION_PREFIX + "higher-planes"));

    139. 

  139. 		antiAlias = new JCheckBox(jEdit.getProperty(OPTION_PREFIX + "anti-alias.label"),

    140. 

  140. 			jEdit.getBooleanProperty(OPTION_PREFIX + "anti-alias"));

    141. 

  141. 		status = new JCheckBox(jEdit.getProperty(OPTION_PREFIX + "status.label"),

    142. 

  142. 			jEdit.getBooleanProperty(OPTION_PREFIX + "status"));

    143. 

  143. 

    144. 

  144. 		//Initialise table option components

    145. 

  145. 		spinnerValues = new ArrayList<Integer>();

    146. 

  146. 		for (int i = 8; i >= 0; i -= 1) {

    147. 

  147. 			spinnerValues.add(new Integer(1 << i));

    148. 

  148. 		}

    149. 

  149. 

    150. 

  150. 		columnsSpinnerLabel = new JLabel(jEdit.getProperty(OPTION_PREFIX + "columns.label"));

    151. 

  151. 		spinnerModel = new SpinnerListModel(spinnerValues);

    152. 

  152. 		columnsSpinner = new JSpinner(spinnerModel);

    153. 

  153. 		JSpinner.DefaultEditor spinnerEditor = (JSpinner.DefaultEditor) columnsSpinner.getEditor();

    154. 

  154. 		JTextField columnsTextField = spinnerEditor.getTextField();

    155. 

  155. 		columnsTextField.setColumns(3);

    156. 

  156. 		columnsTextField.setHorizontalAlignment(JTextField.LEFT);

    157. 

  157. 		int column = jEdit.getIntegerProperty(OPTION_PREFIX + "columns");

    158. 

  158. 		columnsSpinner.setValue(new Integer(column));

    159. 

  159. 

    160. 

  160. 		columnsSpinnerDockLRLabel = new JLabel(jEdit.getProperty(OPTION_PREFIX + "columns-dock-lr.label"));

    161. 

  161. 		spinnerModelDockLR = new SpinnerListModel(spinnerValues);

    162. 

  162. 		columnsSpinnerDockLR = new JSpinner(spinnerModelDockLR);

    163. 

  163. 		spinnerEditor = (JSpinner.DefaultEditor) columnsSpinnerDockLR.getEditor();

    164. 

  164. 		columnsTextField = spinnerEditor.getTextField();

    165. 

  165. 		columnsTextField.setColumns(3);

    166. 

  166. 		columnsTextField.setHorizontalAlignment(JTextField.LEFT);

    167. 

  167. 		column = jEdit.getIntegerProperty(OPTION_PREFIX + "columns-dock-lr");

    168. 

  168. 		columnsSpinnerDockLR.setValue(new Integer(column));

    169. 

  169. 

    170. 

  170. 		columnsSpinnerDockTBLabel = new JLabel(jEdit.getProperty(OPTION_PREFIX + "columns-dock-tb.label"));

    171. 

  171. 		spinnerModelDockTB = new SpinnerListModel(spinnerValues);

    172. 

  172. 		columnsSpinnerDockTB = new JSpinner(spinnerModelDockTB);

    173. 

  173. 		spinnerEditor = (JSpinner.DefaultEditor) columnsSpinnerDockTB.getEditor();

    174. 

  174. 		columnsTextField = spinnerEditor.getTextField();

    175. 

  175. 		columnsTextField.setColumns(3);

    176. 

  176. 		columnsTextField.setHorizontalAlignment(JTextField.LEFT);

    177. 

  177. 		column = jEdit.getIntegerProperty(OPTION_PREFIX + "columns-dock-tb");

    178. 

  178. 		columnsSpinnerDockTB.setValue(new Integer(column));

    179. 

  179. 

    180. 

  180. 		//Initialise color option components

    181. 

  181. 		normalColor = new ColorWellButton(

    182. 

  182. 			jEdit.getColorProperty(OPTION_PREFIX + "color-normal"));

    183. 

  183. 		controlColor = new ColorWellButton(

    184. 

  184. 			jEdit.getColorProperty(OPTION_PREFIX + "color-control"));

    185. 

  185. 		privateColor = new ColorWellButton(

    186. 

  186. 			jEdit.getColorProperty(OPTION_PREFIX + "color-private"));

    187. 

  187. 		unassignedColor = new ColorWellButton(

    188. 

  188. 			jEdit.getColorProperty(OPTION_PREFIX + "color-unassigned"));

    189. 

  189. 		invalidColor = new ColorWellButton(

    190. 

  190. 			jEdit.getColorProperty(OPTION_PREFIX + "color-invalid"));

    191. 

  191. 

    192. 

  192. 		//Initialise character option components

    193. 

  193. 		showLarge = new JCheckBox(jEdit.getProperty(OPTION_PREFIX + "large.label"),

    194. 

  194. 			jEdit.getBooleanProperty(OPTION_PREFIX + "large"));

    195. 

  195. 		largeSizeLabel = new JLabel(jEdit.getProperty(OPTION_PREFIX + "large-size.label"));

    196. 

  196. 		largeSize = new JTextField(jEdit.getProperty(OPTION_PREFIX + "large-size"));

    197. 

  197. 		largeSize.setEnabled(showLarge.isSelected());

    198. 

  198. 		largeSizeLabel.setEnabled(showLarge.isSelected());

    199. 

  199. 

    200. 

  200. 		showSuper = new JCheckBox(jEdit.getProperty(OPTION_PREFIX + "super.label"),

    201. 

  201. 			jEdit.getBooleanProperty(OPTION_PREFIX + "super"));

    202. 

  202. 		superSizeLabel = new JLabel(jEdit.getProperty(OPTION_PREFIX + "super-size.label"));

    203. 

  203. 		superSizeLabel.setEnabled(showSuper.isSelected());

    204. 

  204. 		superSize = new JTextField(jEdit.getProperty(OPTION_PREFIX + "super-size"));

    205. 

  205. 		superSize.setEnabled(showSuper.isSelected());

    206. 

  206. 

    207. 

  207. 		showLarge.addActionListener(

    208. 

  208. 			new ActionListener()

    209. 

  209. 			{

    210. 

  210. 				@Override

    211. 

  211. 				public void actionPerformed(ActionEvent evt)

    212. 

  212. 				{

    213. 

  213. 					boolean selected = showLarge.isSelected();

    214. 

  214. 					largeSizeLabel.setEnabled(selected);

    215. 

  215. 					largeSize.setEnabled(selected);

    216. 

  216. 				}

    217. 

  217. 			});

    218. 

  218. 		showSuper.addActionListener(

    219. 

  219. 			new ActionListener()

    220. 

  220. 			{

    221. 

  221. 				@Override

    222. 

  222. 				public void actionPerformed(ActionEvent evt)

    223. 

  223. 				{

    224. 

  224. 					boolean selected = showSuper.isSelected();

    225. 

  225. 					superSizeLabel.setEnabled(selected);

    226. 

  226. 					superSize.setEnabled(selected);

    227. 

  227. 				}

    228. 

  228. 			});

    229. 

  229. 

    230. 

  230. 		//Display all components

    231. 

  231. 

    232. 

  232. 		addSeparator(OPTION_PREFIX + "separator-general.label");

    233. 

  233. 		addComponent(encoding);

    234. 

  234. 		addComponent(blocks);

    235. 

  235. 		addComponent(blocksABC);

    236. 

  236. 		addComponent(higherPlanes);

    237. 

  237. 		addComponent(antiAlias);

    238. 

  238. 		addComponent(status);

    239. 

  239. 

    240. 

  240. 		addSeparator(OPTION_PREFIX + "separator-table.label");

    241. 

  241. 		addComponent(columnsSpinnerLabel, columnsSpinner);

    242. 

  242. 		addComponent(columnsSpinnerDockLRLabel, columnsSpinnerDockLR);

    243. 

  243. 		addComponent(columnsSpinnerDockTBLabel, columnsSpinnerDockTB);

    244. 

  244. 

    245. 

  245. 		addSeparator(OPTION_PREFIX + "separator-color.label");

    246. 

  246. 		addComponent(jEdit.getProperty(OPTION_PREFIX + "color-normal.label"),

    247. 

  247. 			normalColor, GridBagConstraints.VERTICAL);

    248. 

  248. 		addComponent(jEdit.getProperty(OPTION_PREFIX + "color-control.label"),

    249. 

  249. 			controlColor, GridBagConstraints.VERTICAL);

    250. 

  250. 		addComponent(jEdit.getProperty(OPTION_PREFIX + "color-private.label"),

    251. 

  251. 			privateColor, GridBagConstraints.VERTICAL);

    252. 

  252. 		addComponent(jEdit.getProperty(OPTION_PREFIX + "color-unassigned.label"),

    253. 

  253. 			unassignedColor, GridBagConstraints.VERTICAL);

    254. 

  254. 		addComponent(jEdit.getProperty(OPTION_PREFIX + "color-invalid.label"),

    255. 

  255. 			invalidColor, GridBagConstraints.VERTICAL);

    256. 

  256. 

    257. 

  257. 		addSeparator(OPTION_PREFIX + "separator-chars.label");

    258. 

  258. 		addComponent(showLarge);

    259. 

  259. 		addComponent(largeSizeLabel, largeSize);

    260. 

  260. 		addComponent(showSuper);

    261. 

  261. 		addComponent(superSizeLabel, superSize);

    262. 

  262. 	}

    263. 

  263. //}}}

    264. 

  264. 

    265. 

  265. //{{{ _save() method

    266. 

  266. 	/**

    267. 

  267. 	 * Store the options selected on the pane back to the

    268. 

  268. 	 * jedit properties.

    269. 

  269. 	 */

    270. 

  270. 	@Override

    271. 

  271. 	public void _save()

    272. 

  272. 	{

    273. 

  273. 		// Save options

    274. 

  274. 		jEdit.setBooleanProperty(OPTION_PREFIX + "encoding", encoding.isSelected());

    275. 

  275. 		jEdit.setBooleanProperty(OPTION_PREFIX + "blocks", blocks.isSelected());

    276. 

  276. 		jEdit.setBooleanProperty(OPTION_PREFIX + "blocks-abc", blocksABC.isSelected());

    277. 

  277. 		jEdit.setBooleanProperty(OPTION_PREFIX + "higher-planes", higherPlanes.isSelected());

    278. 

  278. 		jEdit.setBooleanProperty(OPTION_PREFIX + "anti-alias", antiAlias.isSelected());

    279. 

  279. 		jEdit.setBooleanProperty(OPTION_PREFIX + "status", status.isSelected());

    280. 

  280. 

    281. 

  281. 		int column = ((Integer) columnsSpinner.getValue()).intValue();

    282. 

  282. 		jEdit.setIntegerProperty(OPTION_PREFIX + "columns", column);

    283. 

  283. 		column = ((Integer) columnsSpinnerDockLR.getValue()).intValue();

    284. 

  284. 		jEdit.setIntegerProperty(OPTION_PREFIX + "columns-dock-lr", column);

    285. 

  285. 		column = ((Integer) columnsSpinnerDockTB.getValue()).intValue();

    286. 

  286. 		jEdit.setIntegerProperty(OPTION_PREFIX + "columns-dock-tb", column);

    287. 

  287. 

    288. 

  288. 		jEdit.setColorProperty(OPTION_PREFIX + "color-normal",

    289. 

  289. 			normalColor.getSelectedColor());

    290. 

  290. 		jEdit.setColorProperty(OPTION_PREFIX + "color-control",

    291. 

  291. 			controlColor.getSelectedColor());

    292. 

  292. 		jEdit.setColorProperty(OPTION_PREFIX + "color-private",

    293. 

  293. 			privateColor.getSelectedColor());

    294. 

  294. 		jEdit.setColorProperty(OPTION_PREFIX + "color-unassigned",

    295. 

  295. 			unassignedColor.getSelectedColor());

    296. 

  296. 		jEdit.setColorProperty(OPTION_PREFIX + "color-invalid",

    297. 

  297. 			invalidColor.getSelectedColor());

    298. 

  298. 

    299. 

  299. 		jEdit.setBooleanProperty(OPTION_PREFIX + "large", showLarge.isSelected());

    300. 

  300. 		jEdit.setBooleanProperty(OPTION_PREFIX + "super", showSuper.isSelected());

    301. 

  301. 		setIntegerPropertyFromTextField(OPTION_PREFIX + "large-size", largeSize, 36);

    302. 

  302. 		setIntegerPropertyFromTextField(OPTION_PREFIX + "super-size", superSize, 128);

    303. 

  303. 

    304. 

  304. 		// Reload CharacterMap.jar

    305. 

  305. 		PluginJAR jar = jEdit.getPlugin("charactermap.CharacterMapPlugin").getPluginJAR();

    306. 

  306. 		jEdit.removePluginJAR(jar,false);

    307. 

  307. 		jEdit.addPluginJAR(jar.getPath());

    308. 

  308. 		boolean isFloating = jEdit.getProperty(NAME_PREFIX + "dock-position",

    309. 

  309. 			DockableWindowManager.FLOATING).equalsIgnoreCase(DockableWindowManager.FLOATING);

    310. 

  310. 		if (!isFloating)

    311. 

  311. 		{

    312. 

  312. 			EditAction act = jEdit.getAction(CharacterMapPlugin.NAME);

    313. 

  313. 			act.invoke(jEdit.getActiveView());

    314. 

  314. 		}

    315. 

  315. 	}

    316. 

  316. //}}}

    317. 

  317. 

    318. 

  318. //{{{ Auxiliary function

    319. 

  319. 	/**

    320. 

  320. 	 * Determine the value of the given text field and store in the

    321. 

  321. 	 * named jedit property. If the valued does not parse as an integer,

    322. 

  322. 	 * use the specified default instead.

    323. 

  323. 	 * @param property The name of the jedit property to receive the value

    324. 

  324. 	 * @param tf Text field containing the string to be parsed as an integer

    325. 

  325. 	 * @param defaultValue If tf does not contain an integer, use this value instead

    326. 

  326. 	 */

    327. 

  327. 	private void setIntegerPropertyFromTextField(String property, JTextField tf, int defaultValue)

    328. 

  328. 	{

    329. 

  329. 		int value = defaultValue;

    330. 

  330. 		String sValue = tf.getText();

    331. 

  331. 		try {

    332. 

  332. 			value = Integer.parseInt(sValue);

    333. 

  333. 		}

    334. 

  334. 		catch (NumberFormatException nfe) {

    335. 

  335. 			value = jEdit.getIntegerProperty(property, defaultValue);

    336. 

  336. 		}

    337. 

  337. 		finally {

    338. 

  338. 			jEdit.setIntegerProperty(property, value);

    339. 

  339. 		}

    340. 

  340. 	}

    341. 

  341. //}}}

    342. 

  342. }
    343.