/jEdit/tags/jedit-4-3-pre18/org/gjt/sp/jedit/options/TextAreaOptionPane.java

# · Java · 252 lines · 177 code · 28 blank · 47 comment · 0 complexity · db37ae98a4ec9a027a52a11b3ef595be MD5 · raw file 

    

  1. /*
    2. 

  2.  * TextAreaOptionPane.java - Text area options panel
    3. 

  3.  * :tabSize=8:indentSize=8:noTabs=false:
    4. 

  4.  * :folding=explicit:collapseFolds=1:
    5. 

  5.  *
    6. 

  6.  * Copyright (C) 1998, 1999, 2000 Slava Pestov
    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. 

  23. package org.gjt.sp.jedit.options;
    24. 

  24. 

  25. //{{{ Imports
    26. 

  26. import javax.swing.*;
    27. 

  27. import java.awt.event.ActionEvent;
    28. 

  28. import java.awt.event.ActionListener;
    29. 

  29. import java.awt.*;
    30. 

  30. import org.gjt.sp.jedit.textarea.AntiAlias;
    31. 

  31. import org.gjt.sp.jedit.jEdit;
    32. 

  32. import org.gjt.sp.jedit.AbstractOptionPane;
    33. 

  33. import org.gjt.sp.jedit.gui.FontSelector;
    34. 

  34. import org.gjt.sp.jedit.gui.ColorWellButton;
    35. 

  35. //}}}
    36. 

  36. 

  37. /**
    38. 

  38.  * @author Slava Pestov
    39. 

  39.  * @version $Id: TextAreaOptionPane.java 15360 2009-05-28 23:16:42Z k_satoda $
    40. 

  40.  */
    41. 

  41. public class TextAreaOptionPane extends AbstractOptionPane
    42. 

  42. {
    43. 

  43. 	//{{{ TextAreaOptionPane constructor
    44. 

  44. 	public TextAreaOptionPane()
    45. 

  45. 	{
    46. 

  46. 		super("textarea");
    47. 

  47. 	} //}}}
    48. 

  48. 

  49. 	//{{{ _init() method
    50. 

  50. 	public void _init()
    51. 

  51. 	{
    52. 

  52. 		/* Font */
    53. 

  53. 		font = new FontSelector(jEdit.getFontProperty("view.font"));
    54. 

  54. 

  55. 		addComponent(jEdit.getProperty("options.textarea.font"),font);
    56. 

  56. 

  57. 		/* Text color */
    58. 

  58. 		addComponent(jEdit.getProperty("options.textarea.foreground"),
    59. 

  59. 			foregroundColor = new ColorWellButton(
    60. 

  60. 			jEdit.getColorProperty("view.fgColor")),
    61. 

  61. 			GridBagConstraints.VERTICAL);
    62. 

  62. 

  63. 		/* Background color */
    64. 

  64. 		addComponent(jEdit.getProperty("options.textarea.background"),
    65. 

  65. 			backgroundColor = new ColorWellButton(
    66. 

  66. 			jEdit.getColorProperty("view.bgColor")),
    67. 

  67. 			GridBagConstraints.VERTICAL);
    68. 

  68. 

  69. 		/* Caret color, caret blink, block caret */
    70. 

  70. 		blinkCaret = new JCheckBox(jEdit.getProperty("options.textarea"
    71. 

  71. 			+ ".blinkCaret"));
    72. 

  72. 		blinkCaret.setSelected(jEdit.getBooleanProperty("view.caretBlink"));
    73. 

  73. 

  74. 		blockCaret = new JCheckBox(jEdit.getProperty("options.textarea"
    75. 

  75. 			+ ".blockCaret"));
    76. 

  76. 		blockCaret.setSelected(jEdit.getBooleanProperty("view.blockCaret"));
    77. 

  77. 

  78. 		thickCaret = new JCheckBox(jEdit.getProperty("options.textarea"
    79. 

  79. 			+ ".thickCaret"));
    80. 

  80. 		thickCaret.setSelected(jEdit.getBooleanProperty("view.thickCaret"));
    81. 

  81. 

  82. 		Box caretSettings = new Box(BoxLayout.X_AXIS);
    83. 

  83. 		caretSettings.add(new JLabel(jEdit.getProperty(
    84. 

  84. 			"options.textarea.caret")));
    85. 

  85. 		caretSettings.add(Box.createHorizontalStrut(6));
    86. 

  86. 		caretSettings.add(blinkCaret);
    87. 

  87. 		caretSettings.add(blockCaret);
    88. 

  88. 		caretSettings.add(thickCaret);
    89. 

  89. 

  90. 		addComponent(caretSettings,caretColor = new ColorWellButton(
    91. 

  91. 			jEdit.getColorProperty("view.caretColor")),
    92. 

  92. 			GridBagConstraints.VERTICAL);
    93. 

  93. 

  94. 		/* Selection color */
    95. 

  95. 		addComponent(jEdit.getProperty("options.textarea.selection"),
    96. 

  96. 			selectionColor = new ColorWellButton(
    97. 

  97. 			jEdit.getColorProperty("view.selectionColor")),
    98. 

  98. 			GridBagConstraints.VERTICAL);
    99. 

  99. 

  100. 		/* Multiple selection color */
    101. 

  101. 		addComponent(jEdit.getProperty("options.textarea.multipleSelection"),
    102. 

  102. 			multipleSelectionColor = new ColorWellButton(
    103. 

  103. 			jEdit.getColorProperty("view.multipleSelectionColor")),
    104. 

  104. 			GridBagConstraints.VERTICAL);
    105. 

  105. 

  106. 		/* Line highlight */
    107. 

  107. 		lineHighlight = new JCheckBox(jEdit.getProperty("options.textarea"
    108. 

  108. 			+ ".lineHighlight"));
    109. 

  109. 		lineHighlight.setSelected(jEdit.getBooleanProperty("view.lineHighlight"));
    110. 

  110. 		addComponent(lineHighlight,lineHighlightColor = new ColorWellButton(
    111. 

  111. 			jEdit.getColorProperty("view.lineHighlightColor")),
    112. 

  112. 			GridBagConstraints.VERTICAL);
    113. 

  113. 

  114. 		/* Structure highlight */
    115. 

  115. 		structureHighlight = new JCheckBox(jEdit.getProperty("options.textarea"
    116. 

  116. 			+ ".structureHighlight"));
    117. 

  117. 		structureHighlight.setSelected(jEdit.getBooleanProperty(
    118. 

  118. 			"view.structureHighlight"));
    119. 

  119. 		addComponent(structureHighlight,structureHighlightColor = new ColorWellButton(
    120. 

  120. 			jEdit.getColorProperty("view.structureHighlightColor")),
    121. 

  121. 			GridBagConstraints.VERTICAL);
    122. 

  122. 

  123. 		/* EOL markers */
    124. 

  124. 		eolMarkers = new JCheckBox(jEdit.getProperty("options.textarea"
    125. 

  125. 			+ ".eolMarkers"));
    126. 

  126. 		eolMarkers.setSelected(jEdit.getBooleanProperty("view.eolMarkers"));
    127. 

  127. 		addComponent(eolMarkers,eolMarkerColor =new ColorWellButton(
    128. 

  128. 			jEdit.getColorProperty("view.eolMarkerColor")),
    129. 

  129. 			GridBagConstraints.VERTICAL);
    130. 

  130. 

  131. 		/* Wrap guide */
    132. 

  132. 		wrapGuide = new JCheckBox(jEdit.getProperty("options.textarea"
    133. 

  133. 			+ ".wrapGuide"));
    134. 

  134. 		wrapGuide.setSelected(jEdit.getBooleanProperty("view.wrapGuide"));
    135. 

  135. 		addComponent(wrapGuide,wrapGuideColor = new ColorWellButton(
    136. 

  136. 			jEdit.getColorProperty("view.wrapGuideColor")),
    137. 

  137. 			GridBagConstraints.VERTICAL);
    138. 

  138. 

  139. 		/* Electric borders */
    140. 

  140. 		electricBorders = new JCheckBox(jEdit.getProperty("options.textarea"
    141. 

  141. 			+ ".electricBorders"));
    142. 

  142. 		electricBorders.setSelected(!"0".equals(jEdit.getProperty(
    143. 

  143. 			"view.electricBorders")));
    144. 

  144. 		addComponent(electricBorders);
    145. 

  145. 

  146. 		/* Anti-aliasing */
    147. 

  147. 

  148. 		antiAlias = new JComboBox(AntiAlias.comboChoices);
    149. 

  149. 		antiAlias.setToolTipText(jEdit.getProperty("options.textarea.antiAlias.tooltip"));
    150. 

  150. 		AntiAlias antiAliasValue = new AntiAlias(jEdit.getProperty("view.antiAlias"));
    151. 

  151. 		font.setAntiAliasEnabled(antiAliasValue.val()>0);
    152. 

  152. 		antiAlias.addActionListener(new ActionListener()
    153. 

  153. 			{
    154. 

  154. 				public void actionPerformed(ActionEvent evt)
    155. 

  155. 				{
    156. 

  156. 					int idx = antiAlias.getSelectedIndex();
    157. 

  157. 					font.setAntiAliasEnabled(idx > 0);
    158. 

  158. 					font.repaint();
    159. 

  159. 				}
    160. 

  160. 			});
    161. 

  161. 		antiAlias.setSelectedIndex(antiAliasValue.val());
    162. 

  162. 		addComponent(jEdit.getProperty("options.textarea"+ ".antiAlias"), antiAlias);
    163. 

  163. 

  164. 		/* Fractional font metrics */
    165. 

  165. 		fracFontMetrics = new JCheckBox(jEdit.getProperty("options.textarea"
    166. 

  166. 			+ ".fracFontMetrics"));
    167. 

  167. 		fracFontMetrics.setSelected(jEdit.getBooleanProperty("view.fracFontMetrics"));
    168. 

  168. 		addComponent(fracFontMetrics);
    169. 

  169. 

  170. 		/* Strip trailing EOL */
    171. 

  171. 		stripTrailingEOL = new JCheckBox(jEdit.getProperty(
    172. 

  172. 			"options.textArea.stripTrailingEOL"));
    173. 

  173. 		stripTrailingEOL.setSelected(jEdit.getBooleanProperty("stripTrailingEOL"));
    174. 

  174. 		addComponent(stripTrailingEOL);
    175. 

  175. 

  176. 		completeFromAllBuffers = new JCheckBox(jEdit.getProperty(
    177. 

  177. 			"options.textArea.completeFromAllBuffers"));
    178. 

  178. 		completeFromAllBuffers.setSelected(jEdit.getBooleanProperty("completeFromAllBuffers"));
    179. 

  179. 		addComponent(completeFromAllBuffers);
    180. 

  180. 

  181. 	} //}}}
    182. 

  182. 

  183. 	//{{{ _save() method
    184. 

  184. 	public void _save()
    185. 

  185. 	{
    186. 

  186. 		jEdit.setFontProperty("view.font",font.getFont());
    187. 

  187. 

  188. 		jEdit.setColorProperty("view.fgColor",foregroundColor
    189. 

  189. 			.getSelectedColor());
    190. 

  190. 		jEdit.setColorProperty("view.bgColor",backgroundColor
    191. 

  191. 			.getSelectedColor());
    192. 

  192. 		jEdit.setBooleanProperty("view.caretBlink",blinkCaret.isSelected());
    193. 

  193. 		jEdit.setBooleanProperty("view.blockCaret",blockCaret.isSelected());
    194. 

  194. 		jEdit.setBooleanProperty("view.thickCaret",thickCaret.isSelected());
    195. 

  195. 		jEdit.setColorProperty("view.caretColor",caretColor
    196. 

  196. 			.getSelectedColor());
    197. 

  197. 		jEdit.setColorProperty("view.selectionColor",selectionColor
    198. 

  198. 			.getSelectedColor());
    199. 

  199. 		jEdit.setColorProperty("view.multipleSelectionColor",multipleSelectionColor
    200. 

  200. 			.getSelectedColor());
    201. 

  201. 		jEdit.setBooleanProperty("view.lineHighlight",lineHighlight
    202. 

  202. 			.isSelected());
    203. 

  203. 		jEdit.setColorProperty("view.lineHighlightColor",
    204. 

  204. 			lineHighlightColor.getSelectedColor());
    205. 

  205. 		jEdit.setBooleanProperty("view.structureHighlight",structureHighlight
    206. 

  206. 			.isSelected());
    207. 

  207. 		jEdit.setColorProperty("view.structureHighlightColor",
    208. 

  208. 			structureHighlightColor.getSelectedColor());
    209. 

  209. 		jEdit.setBooleanProperty("view.eolMarkers",eolMarkers
    210. 

  210. 			.isSelected());
    211. 

  211. 		jEdit.setColorProperty("view.eolMarkerColor",
    212. 

  212. 			eolMarkerColor.getSelectedColor());
    213. 

  213. 		jEdit.setBooleanProperty("view.wrapGuide",wrapGuide
    214. 

  214. 			.isSelected());
    215. 

  215. 		jEdit.setColorProperty("view.wrapGuideColor",
    216. 

  216. 			wrapGuideColor.getSelectedColor());
    217. 

  217. 		jEdit.setIntegerProperty("view.electricBorders",electricBorders
    218. 

  218. 			.isSelected() ? 3 : 0);
    219. 

  219. 		AntiAlias nv = new AntiAlias(jEdit.getProperty("view.antiAlias"));
    220. 

  220. 		nv.set(antiAlias.getSelectedIndex());
    221. 

  221. 		jEdit.setProperty("view.antiAlias", nv.toString());
    222. 

  222. 		jEdit.setBooleanProperty("view.fracFontMetrics",fracFontMetrics.isSelected());
    223. 

  223. 		jEdit.setBooleanProperty("stripTrailingEOL", stripTrailingEOL.isSelected());
    224. 

  224. 		jEdit.setBooleanProperty("completeFromAllBuffers", completeFromAllBuffers.isSelected());
    225. 

  225. 	} //}}}
    226. 

  226. 

  227. 	//{{{ Private members
    228. 

  228. 	private FontSelector font;
    229. 

  229. 	private ColorWellButton foregroundColor;
    230. 

  230. 	private ColorWellButton backgroundColor;
    231. 

  231. 	private JCheckBox blinkCaret;
    232. 

  232. 	private JCheckBox blockCaret;
    233. 

  233. 	private JCheckBox thickCaret;
    234. 

  234. 	private ColorWellButton caretColor;
    235. 

  235. 	private ColorWellButton selectionColor;
    236. 

  236. 	private ColorWellButton multipleSelectionColor;
    237. 

  237. 	private JCheckBox lineHighlight;
    238. 

  238. 	private ColorWellButton lineHighlightColor;
    239. 

  239. 	private JCheckBox structureHighlight;
    240. 

  240. 	private ColorWellButton structureHighlightColor;
    241. 

  241. 	private JCheckBox eolMarkers;
    242. 

  242. 	private ColorWellButton eolMarkerColor;
    243. 

  243. 	private JCheckBox wrapGuide;
    244. 

  244. 	private ColorWellButton wrapGuideColor;
    245. 

  245. 	private JCheckBox electricBorders;
    246. 

  246. 	// private JCheckBox antiAlias;
    247. 

  247. 	private JComboBox antiAlias;
    248. 

  248. 	private JCheckBox fracFontMetrics;
    249. 

  249. 	private JCheckBox stripTrailingEOL;
    250. 

  250. 	private JCheckBox completeFromAllBuffers;
    251. 

  251. 	//}}}
    252. 

  252. }
    253.