|
1
18
19
20 package org.objectweb.jac.aspects.gui.swing;
21
22 import java.awt.Color  ;
23
24
27 public class SHEditorConfig
28 {
29 Color ignoreColor = new Color (0, 150, 0);
30 public Color getIgnoreColor() {
31 return ignoreColor;
32 }
33 public void setIgnoreColor(Color ignoreColor) {
34 this.ignoreColor = ignoreColor;
35 }
36
37 Color stringColor = new Color (0,100,0);
38 public Color getStringColor() {
39 return stringColor;
40 }
41 public void setStringColor(Color stringColor) {
42 this.stringColor = stringColor;
43 }
44
45 Color textColor = Color.black;
46 public Color getTextColor() {
47 return textColor;
48 }
49 public void setTextColor(Color textColor) {
50 this.textColor = textColor;
51 }
52
53 Color backgroundColor = Color.white;
54 public Color getBackgroundColor() {
55 return backgroundColor;
56 }
57 public void setBackgroundColor(Color backgroundColor) {
58 this.backgroundColor = backgroundColor;
59 }
60
61
62 Color selectionColor = new Color (210,210,210);
63 public Color getSelectionColor() {
64 return selectionColor;
65 }
66 public void setSelectionColor(Color color) {
67 this.selectionColor = color;
68 }
69
70 Color completionColor = Color.cyan;
71 public Color getCompletionColor() {
72 return completionColor;
73 }
74 public void setCompletionColor(Color color) {
75 this.completionColor = color;
76 }
77
78 Color keywordColor = Color.blue;
79 public Color getKeywordColor() {
80 return keywordColor;
81 }
82 public void setKeywordColor(Color keywordColor) {
83 this.keywordColor = keywordColor;
84 }
85
86 Color modifierColor = Color.magenta;
87 public Color getModifierColor() {
88 return modifierColor;
89 }
90 public void setModifierColor(Color modifierColor) {
91 this.modifierColor = modifierColor;
92 }
93
94 Color typeColor = new Color (255, 69, 0);
95 public Color getTypeColor() {
96 return typeColor;
97 }
98 public void setTypeColor(Color typeColor) {
99 this.typeColor = typeColor;
100 }
101
102 Color clampColor = new Color (0, 120, 120);
103 public Color getClampColor() {
104 return clampColor;
105 }
106 public void setClampColor(Color clampColor) {
107 this.clampColor = clampColor;
108 }
109
110 Color lineNrBgColor = new Color (180, 180, 180);
111 public Color getLineNrBgColor() {
112 return lineNrBgColor;
113 }
114 public void setLineNrBgColor(Color lineNrBgColor) {
115 this.lineNrBgColor = lineNrBgColor;
116 }
117
118 Color lineNrColor = new Color (200, 0, 0);
119 public Color getLineNrColor() {
120 return lineNrColor;
121 }
122 public void setLineNrColor(Color lineNrColor) {
123 this.lineNrColor = lineNrColor;
124 }
125
126
127 int tabWidth = 4;
128 public void setTabWidth(int tabWidth) {
129 this.tabWidth = tabWidth;
130 }
131 public int getTabWidth() {
132 return tabWidth;
133 }
134
135
136 boolean showLineNumbers = false;
137 public void setShowLineNumbers(boolean showLineNumbers) {
138 this.showLineNumbers = showLineNumbers;
139 }
140 public boolean getShowLineNumbers() {
141 return showLineNumbers;
142 }
143
144
145 boolean autoComplete = true;
146 public void setAutoComplete(boolean autoComplete) {
147 this.autoComplete = autoComplete;
148 }
149 public boolean isAutoComplete() {
150 return autoComplete;
151 }
152 }
153 |
Popular Tags |
Java API By Example, From Geeks To Geeks.