c7e7b17a02af2bcfd255dd73626d9d903782834d
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / preferences / JavaEditorPreferencePage.java
1 /*******************************************************************************
2  * Copyright (c) 2000, 2003 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials 
4  * are made available under the terms of the Common Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/cpl-v10.html
7  * 
8  * Contributors:
9  *     IBM Corporation - initial API and implementation
10  *******************************************************************************/
11 package net.sourceforge.phpdt.internal.ui.preferences;
12
13 import java.io.BufferedReader;
14 import java.io.IOException;
15 import java.io.InputStreamReader;
16 import java.text.Collator;
17 import java.util.ArrayList;
18 import java.util.Comparator;
19 import java.util.HashMap;
20 import java.util.Iterator;
21 import java.util.Map;
22 import java.util.SortedSet;
23 import java.util.StringTokenizer;
24 import java.util.TreeSet;
25
26 import net.sourceforge.phpdt.core.JavaCore;
27 import net.sourceforge.phpdt.internal.ui.IJavaHelpContextIds;
28 import net.sourceforge.phpdt.internal.ui.dialogs.StatusInfo;
29 import net.sourceforge.phpdt.internal.ui.dialogs.StatusUtil;
30 import net.sourceforge.phpdt.internal.ui.text.PreferencesAdapter;
31 import net.sourceforge.phpdt.internal.ui.util.TabFolderLayout;
32 import net.sourceforge.phpdt.ui.PreferenceConstants;
33 import net.sourceforge.phpdt.ui.text.JavaTextTools;
34 import net.sourceforge.phpeclipse.PHPeclipsePlugin;
35 import net.sourceforge.phpeclipse.phpeditor.EditorUtility;
36 import net.sourceforge.phpeclipse.phpeditor.JavaSourceViewer;
37 import net.sourceforge.phpeclipse.phpeditor.PHPSourceViewerConfiguration;
38 import net.sourceforge.phpeclipse.preferences.ColorEditor;
39
40 import org.eclipse.core.runtime.IStatus;
41 import org.eclipse.core.runtime.Preferences;
42 import net.sourceforge.phpdt.internal.ui.preferences.FoldingConfigurationBlock;
43 import net.sourceforge.phpdt.internal.ui.preferences.PreferencesMessages;
44 import org.eclipse.jface.dialogs.Dialog;
45 import org.eclipse.jface.preference.IPreferenceStore;
46 import org.eclipse.jface.preference.PreferenceConverter;
47 import org.eclipse.jface.preference.PreferencePage;
48 import org.eclipse.jface.resource.JFaceResources;
49 import org.eclipse.jface.text.Document;
50 import org.eclipse.jface.text.IDocument;
51 import org.eclipse.jface.text.source.SourceViewer;
52 import org.eclipse.swt.SWT;
53 import org.eclipse.swt.events.ModifyEvent;
54 import org.eclipse.swt.events.ModifyListener;
55 import org.eclipse.swt.events.SelectionAdapter;
56 import org.eclipse.swt.events.SelectionEvent;
57 import org.eclipse.swt.events.SelectionListener;
58 import org.eclipse.swt.graphics.Color;
59 import org.eclipse.swt.graphics.RGB;
60 import org.eclipse.swt.layout.GridData;
61 import org.eclipse.swt.layout.GridLayout;
62 import org.eclipse.swt.layout.RowLayout;
63 import org.eclipse.swt.widgets.Button;
64 import org.eclipse.swt.widgets.Combo;
65 import org.eclipse.swt.widgets.Composite;
66 import org.eclipse.swt.widgets.Control;
67 import org.eclipse.swt.widgets.Group;
68 import org.eclipse.swt.widgets.Label;
69 import org.eclipse.swt.widgets.List;
70 import org.eclipse.swt.widgets.TabFolder;
71 import org.eclipse.swt.widgets.TabItem;
72 import org.eclipse.swt.widgets.Text;
73 import org.eclipse.ui.IWorkbench;
74 import org.eclipse.ui.IWorkbenchPreferencePage;
75 import org.eclipse.ui.editors.text.EditorsUI;
76 import org.eclipse.ui.help.WorkbenchHelp;
77 import org.eclipse.ui.texteditor.AbstractDecoratedTextEditorPreferenceConstants;
78 import org.eclipse.ui.texteditor.AnnotationPreference;
79 import org.eclipse.ui.texteditor.ChainedPreferenceStore;
80 import org.eclipse.ui.texteditor.MarkerAnnotationPreferences;
81
82 /**
83  * The page for setting the editor options.
84  */
85 public class JavaEditorPreferencePage extends PreferencePage implements
86     IWorkbenchPreferencePage {
87   private static final String BOLD = PreferenceConstants.EDITOR_BOLD_SUFFIX;
88
89   private static final String COMPILER_TASK_TAGS = JavaCore.COMPILER_TASK_TAGS;
90
91   private static final String DELIMITER = PreferencesMessages
92       .getString("JavaEditorPreferencePage.navigation.delimiter"); //$NON-NLS-1$
93
94   /** The keys of the overlay store. */
95   public final OverlayPreferenceStore.OverlayKey[] fKeys;
96
97   private final String[][] fSyntaxColorListModel = new String[][] {
98       //                {
99       // PreferencesMessages.getString("JavaEditorPreferencePage.multiLineComment"),
100       // PreferenceConstants.EDITOR_MULTI_LINE_COMMENT_COLOR }, //$NON-NLS-1$
101       //                {
102       // PreferencesMessages.getString("JavaEditorPreferencePage.singleLineComment"),
103       // PreferenceConstants.EDITOR_SINGLE_LINE_COMMENT_COLOR }, //$NON-NLS-1$
104       //                { PreferencesMessages.getString("JavaEditorPreferencePage.keywords"),
105       // PreferenceConstants.EDITOR_JAVA_KEYWORD_COLOR }, //$NON-NLS-1$
106       //                { PreferencesMessages.getString("JavaEditorPreferencePage.strings"),
107       // PreferenceConstants.EDITOR_STRING_COLOR }, //$NON-NLS-1$
108       //                {
109       // PreferencesMessages.getString("JavaEditorPreferencePage.methodNames"),
110       // PreferenceConstants.EDITOR_JAVA_METHOD_NAME_COLOR }, //$NON-NLS-1$
111       //                { PreferencesMessages.getString("JavaEditorPreferencePage.operators"),
112       // PreferenceConstants.EDITOR_JAVA_OPERATOR_COLOR }, //$NON-NLS-1$
113       //                { PreferencesMessages.getString("JavaEditorPreferencePage.others"),
114       // PreferenceConstants.EDITOR_JAVA_DEFAULT_COLOR }, //$NON-NLS-1$
115       //                {
116       // PreferencesMessages.getString("JavaEditorPreferencePage.javaCommentTaskTags"),
117       // PreferenceConstants.EDITOR_TASK_TAG_COLOR }, //$NON-NLS-1$
118       //                {
119       // PreferencesMessages.getString("JavaEditorPreferencePage.javaDocKeywords"),
120       // PreferenceConstants.EDITOR_JAVADOC_KEYWORD_COLOR }, //$NON-NLS-1$
121       //                {
122       // PreferencesMessages.getString("JavaEditorPreferencePage.javaDocHtmlTags"),
123       // PreferenceConstants.EDITOR_JAVADOC_TAG_COLOR }, //$NON-NLS-1$
124       //                {
125       // PreferencesMessages.getString("JavaEditorPreferencePage.javaDocLinks"),
126       // PreferenceConstants.EDITOR_JAVADOC_LINKS_COLOR }, //$NON-NLS-1$
127       //                {
128       // PreferencesMessages.getString("JavaEditorPreferencePage.javaDocOthers"),
129       // PreferenceConstants.EDITOR_JAVADOC_DEFAULT_COLOR } //$NON-NLS-1$
130       {
131           PreferencesMessages
132               .getString("PHPEditorPreferencePage.multiLineComment"),
133           PreferenceConstants.EDITOR_MULTI_LINE_COMMENT_COLOR },
134       //$NON-NLS-1$
135       {
136           PreferencesMessages
137               .getString("PHPEditorPreferencePage.singleLineComment"),
138           PreferenceConstants.EDITOR_SINGLE_LINE_COMMENT_COLOR },
139       //$NON-NLS-1$
140       { PreferencesMessages.getString("PHPEditorPreferencePage.tags"),
141           PreferenceConstants.EDITOR_PHP_TAG_COLOR },
142       //$NON-NLS-1$
143       { PreferencesMessages.getString("PHPEditorPreferencePage.keywords"),
144           PreferenceConstants.EDITOR_JAVA_KEYWORD_COLOR },
145       { PreferencesMessages.getString("PHPEditorPreferencePage.functionNames"),
146           PreferenceConstants.EDITOR_PHP_FUNCTIONNAME_COLOR },
147       //$NON-NLS-1$
148       { PreferencesMessages.getString("PHPEditorPreferencePage.variables"),
149           PreferenceConstants.EDITOR_PHP_VARIABLE_COLOR },
150       //$NON-NLS-1$
151       { PreferencesMessages.getString("PHPEditorPreferencePage.constants"),
152           PreferenceConstants.EDITOR_PHP_CONSTANT_COLOR },
153       //$NON-NLS-1$
154       { PreferencesMessages.getString("PHPEditorPreferencePage.types"),
155           PreferenceConstants.EDITOR_PHP_TYPE_COLOR },
156       //$NON-NLS-1$
157       { PreferencesMessages.getString("PHPEditorPreferencePage.strings"),
158           PreferenceConstants.EDITOR_STRING_COLOR },
159       //$NON-NLS-1$
160       { PreferencesMessages.getString("PHPEditorPreferencePage.others"),
161           PreferenceConstants.EDITOR_JAVA_DEFAULT_COLOR }, //$NON-NLS-1$
162       { PreferencesMessages.getString("JavaEditorPreferencePage.operators"),
163           PreferenceConstants.EDITOR_PHP_OPERATOR_COLOR },
164       //$NON-NLS-1$
165       {
166           PreferencesMessages
167               .getString("JavaEditorPreferencePage.returnKeyword"),
168           PreferenceConstants.EDITOR_PHP_KEYWORD_RETURN_COLOR },
169       //$NON-NLS-1$
170       {
171           PreferencesMessages
172               .getString("PHPEditorPreferencePage.phpDocKeywords"),
173           PreferenceConstants.EDITOR_JAVADOC_KEYWORD_COLOR },
174       //$NON-NLS-1$
175       {
176           PreferencesMessages
177               .getString("PHPEditorPreferencePage.phpDocHtmlTags"),
178           PreferenceConstants.EDITOR_JAVADOC_TAG_COLOR },
179       //$NON-NLS-1$
180       { PreferencesMessages.getString("PHPEditorPreferencePage.phpDocLinks"),
181           PreferenceConstants.EDITOR_JAVADOC_LINKS_COLOR },
182       //$NON-NLS-1$
183       { PreferencesMessages.getString("PHPEditorPreferencePage.phpDocOthers"),
184           PreferenceConstants.EDITOR_JAVADOC_DEFAULT_COLOR } //$NON-NLS-1$
185   };
186
187   private final String[][] fAppearanceColorListModel = new String[][] {
188       {
189           PreferencesMessages
190               .getString("JavaEditorPreferencePage.lineNumberForegroundColor"),
191           AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR },
192       //$NON-NLS-1$
193       {
194           PreferencesMessages
195               .getString("JavaEditorPreferencePage.matchingBracketsHighlightColor2"),
196           PreferenceConstants.EDITOR_MATCHING_BRACKETS_COLOR },
197       //$NON-NLS-1$
198       {
199           PreferencesMessages
200               .getString("JavaEditorPreferencePage.currentLineHighlighColor"),
201           AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR },
202       //$NON-NLS-1$
203       {
204           PreferencesMessages
205               .getString("JavaEditorPreferencePage.printMarginColor2"),
206           AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLOR },
207       //$NON-NLS-1$
208       {
209           PreferencesMessages
210               .getString("JavaEditorPreferencePage.findScopeColor2"),
211           PreferenceConstants.EDITOR_FIND_SCOPE_COLOR },
212       //$NON-NLS-1$
213       { PreferencesMessages.getString("JavaEditorPreferencePage.linkColor2"),
214           PreferenceConstants.EDITOR_LINK_COLOR }, //$NON-NLS-1$
215   };
216
217   //  private final String[][] fAnnotationColorListModel;
218
219   //  private final String[][] fAnnotationDecorationListModel = new String[][]{
220   //      {
221   //          PreferencesMessages
222   //              .getString("JavaEditorPreferencePage.AnnotationDecoration.NONE"),
223   //          AnnotationPreference.STYLE_NONE},
224   //      //$NON-NLS-1$
225   //      {
226   //          PreferencesMessages
227   //              .getString("JavaEditorPreferencePage.AnnotationDecoration.SQUIGGLIES"),
228   //          AnnotationPreference.STYLE_SQUIGGLIES},
229   //      //$NON-NLS-1$
230   //      {
231   //          PreferencesMessages
232   //              .getString("JavaEditorPreferencePage.AnnotationDecoration.UNDERLINE"),
233   //          AnnotationPreference.STYLE_UNDERLINE},
234   //      //$NON-NLS-1$
235   //      {
236   //          PreferencesMessages
237   //              .getString("JavaEditorPreferencePage.AnnotationDecoration.BOX"),
238   //          AnnotationPreference.STYLE_BOX},
239   //      //$NON-NLS-1$
240   //      {
241   //          PreferencesMessages
242   //              .getString("JavaEditorPreferencePage.AnnotationDecoration.IBEAM"),
243   //          AnnotationPreference.STYLE_IBEAM} //$NON-NLS-1$
244   //  };
245   private OverlayPreferenceStore fOverlayStore;
246
247   private JavaTextTools fJavaTextTools;
248
249   private JavaEditorHoverConfigurationBlock fJavaEditorHoverConfigurationBlock;
250
251   private FoldingConfigurationBlock fFoldingConfigurationBlock;
252
253   private Map fColorButtons = new HashMap();
254
255   private Map fCheckBoxes = new HashMap();
256
257   private SelectionListener fCheckBoxListener = new SelectionListener() {
258     public void widgetDefaultSelected(SelectionEvent e) {
259     }
260
261     public void widgetSelected(SelectionEvent e) {
262       Button button = (Button) e.widget;
263       fOverlayStore.setValue((String) fCheckBoxes.get(button), button
264           .getSelection());
265     }
266   };
267
268   private Map fTextFields = new HashMap();
269
270   private ModifyListener fTextFieldListener = new ModifyListener() {
271     public void modifyText(ModifyEvent e) {
272       Text text = (Text) e.widget;
273       fOverlayStore.setValue((String) fTextFields.get(text), text.getText());
274     }
275   };
276
277   private ArrayList fNumberFields = new ArrayList();
278
279   private ModifyListener fNumberFieldListener = new ModifyListener() {
280     public void modifyText(ModifyEvent e) {
281       numberFieldChanged((Text) e.widget);
282     }
283   };
284
285   private List fSyntaxColorList;
286
287   private List fAppearanceColorList;
288
289   //  private List fContentAssistColorList;
290   private List fAnnotationList;
291
292   private ColorEditor fSyntaxForegroundColorEditor;
293
294   private ColorEditor fAppearanceColorEditor;
295
296   private ColorEditor fAnnotationForegroundColorEditor;
297
298   private ColorEditor fContentAssistColorEditor;
299
300   private ColorEditor fBackgroundColorEditor;
301
302   private Button fBackgroundDefaultRadioButton;
303
304   private Button fBackgroundCustomRadioButton;
305
306   private Button fBackgroundColorButton;
307
308   private Button fBoldCheckBox;
309
310 //  private Button fAddJavaDocTagsButton;
311
312 //  private Button fEscapeStringsButton;
313
314   //    private Button fGuessMethodArgumentsButton;
315   private SourceViewer fPreviewViewer;
316
317   private Color fBackgroundColor;
318
319   private Control fAutoInsertDelayText;
320
321   private Control fAutoInsertJavaTriggerText;
322
323   private Control fAutoInsertJavaDocTriggerText;
324
325   private Label fAutoInsertDelayLabel;
326
327   private Label fAutoInsertJavaTriggerLabel;
328
329   private Label fAutoInsertJavaDocTriggerLabel;
330
331   private Button fShowInTextCheckBox;
332
333   private Combo fDecorationStyleCombo;
334
335   private Button fHighlightInTextCheckBox;
336
337   private Button fShowInOverviewRulerCheckBox;
338
339   private Button fShowInVerticalRulerCheckBox;
340
341   //    private Text fBrowserLikeLinksKeyModifierText;
342   //    private Button fBrowserLikeLinksCheckBox;
343   //    private StatusInfo fBrowserLikeLinksKeyModifierStatus;
344   //    private Button fCompletionInsertsRadioButton;
345   //    private Button fCompletionOverwritesRadioButton;
346   //    private Button fStickyOccurrencesButton;
347   /**
348    * Creates a new preference page.
349    */
350   public JavaEditorPreferencePage() {
351     setDescription(PreferencesMessages
352         .getString("JavaEditorPreferencePage.description")); //$NON-NLS-1$
353     setPreferenceStore(PHPeclipsePlugin.getDefault().getPreferenceStore());
354     MarkerAnnotationPreferences markerAnnotationPreferences = new MarkerAnnotationPreferences();
355     fKeys = createOverlayStoreKeys(markerAnnotationPreferences);
356     fOverlayStore = new OverlayPreferenceStore(getPreferenceStore(), fKeys);
357     //    fAnnotationColorListModel =
358     // createAnnotationTypeListModel(markerAnnotationPreferences);
359   }
360
361   private OverlayPreferenceStore.OverlayKey[] createOverlayStoreKeys(
362       MarkerAnnotationPreferences preferences) {
363     ArrayList overlayKeys = new ArrayList();
364     Iterator e = preferences.getAnnotationPreferences().iterator();
365     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
366         OverlayPreferenceStore.STRING,
367         PreferenceConstants.EDITOR_FOREGROUND_COLOR));
368     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
369         OverlayPreferenceStore.BOOLEAN,
370         PreferenceConstants.EDITOR_FOREGROUND_DEFAULT_COLOR));
371     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
372         OverlayPreferenceStore.STRING,
373         PreferenceConstants.EDITOR_BACKGROUND_COLOR));
374     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
375         OverlayPreferenceStore.BOOLEAN,
376         PreferenceConstants.EDITOR_BACKGROUND_DEFAULT_COLOR));
377     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
378         OverlayPreferenceStore.INT, PreferenceConstants.EDITOR_TAB_WIDTH));
379     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
380         OverlayPreferenceStore.STRING,
381         PreferenceConstants.EDITOR_MULTI_LINE_COMMENT_COLOR));
382     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
383         OverlayPreferenceStore.BOOLEAN,
384         PreferenceConstants.EDITOR_MULTI_LINE_COMMENT_BOLD));
385     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
386         OverlayPreferenceStore.STRING,
387         PreferenceConstants.EDITOR_SINGLE_LINE_COMMENT_COLOR));
388     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
389         OverlayPreferenceStore.BOOLEAN,
390         PreferenceConstants.EDITOR_SINGLE_LINE_COMMENT_BOLD));
391     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
392         OverlayPreferenceStore.STRING,
393         PreferenceConstants.EDITOR_JAVA_KEYWORD_COLOR));
394     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
395         OverlayPreferenceStore.BOOLEAN,
396         PreferenceConstants.EDITOR_JAVA_KEYWORD_BOLD));
397
398     overlayKeys
399         .add(new OverlayPreferenceStore.OverlayKey(
400             OverlayPreferenceStore.STRING,
401             PreferenceConstants.EDITOR_PHP_TAG_COLOR));
402     overlayKeys
403         .add(new OverlayPreferenceStore.OverlayKey(
404             OverlayPreferenceStore.BOOLEAN,
405             PreferenceConstants.EDITOR_PHP_TAG_BOLD));
406     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
407         OverlayPreferenceStore.STRING,
408         PreferenceConstants.EDITOR_PHP_FUNCTIONNAME_COLOR));
409     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
410         OverlayPreferenceStore.BOOLEAN,
411         PreferenceConstants.EDITOR_PHP_FUNCTIONNAME_BOLD));
412     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
413         OverlayPreferenceStore.STRING,
414         PreferenceConstants.EDITOR_PHP_VARIABLE_COLOR));
415     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
416         OverlayPreferenceStore.BOOLEAN,
417         PreferenceConstants.EDITOR_PHP_VARIABLE_BOLD));
418     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
419         OverlayPreferenceStore.STRING,
420         PreferenceConstants.EDITOR_PHP_CONSTANT_COLOR));
421     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
422         OverlayPreferenceStore.BOOLEAN,
423         PreferenceConstants.EDITOR_PHP_CONSTANT_BOLD));
424     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
425         OverlayPreferenceStore.STRING,
426         PreferenceConstants.EDITOR_PHP_TYPE_COLOR));
427     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
428         OverlayPreferenceStore.BOOLEAN,
429         PreferenceConstants.EDITOR_PHP_TYPE_BOLD));
430
431     overlayKeys
432         .add(new OverlayPreferenceStore.OverlayKey(
433             OverlayPreferenceStore.STRING,
434             PreferenceConstants.EDITOR_STRING_COLOR));
435     overlayKeys
436         .add(new OverlayPreferenceStore.OverlayKey(
437             OverlayPreferenceStore.BOOLEAN,
438             PreferenceConstants.EDITOR_STRING_BOLD));
439     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
440         OverlayPreferenceStore.STRING,
441         PreferenceConstants.EDITOR_JAVA_DEFAULT_COLOR));
442     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
443         OverlayPreferenceStore.BOOLEAN,
444         PreferenceConstants.EDITOR_JAVA_DEFAULT_BOLD));
445     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
446         OverlayPreferenceStore.STRING,
447         PreferenceConstants.EDITOR_TASK_TAG_COLOR));
448     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
449         OverlayPreferenceStore.BOOLEAN,
450         PreferenceConstants.EDITOR_TASK_TAG_BOLD));
451     //          overlayKeys.add(new
452     // OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,
453     // PreferenceConstants.EDITOR_JAVA_METHOD_NAME_COLOR));
454     //          overlayKeys.add(new
455     // OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,
456     // PreferenceConstants.EDITOR_JAVA_METHOD_NAME_BOLD));
457     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
458         OverlayPreferenceStore.STRING,
459         PreferenceConstants.EDITOR_PHP_OPERATOR_COLOR));
460     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
461         OverlayPreferenceStore.BOOLEAN,
462         PreferenceConstants.EDITOR_PHP_OPERATOR_BOLD));
463     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
464         OverlayPreferenceStore.STRING,
465         PreferenceConstants.EDITOR_PHP_KEYWORD_RETURN_COLOR));
466     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
467         OverlayPreferenceStore.BOOLEAN,
468         PreferenceConstants.EDITOR_PHP_KEYWORD_RETURN_BOLD));
469     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
470         OverlayPreferenceStore.STRING,
471         PreferenceConstants.EDITOR_JAVADOC_KEYWORD_COLOR));
472     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
473         OverlayPreferenceStore.BOOLEAN,
474         PreferenceConstants.EDITOR_JAVADOC_KEYWORD_BOLD));
475     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
476         OverlayPreferenceStore.STRING,
477         PreferenceConstants.EDITOR_JAVADOC_TAG_COLOR));
478     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
479         OverlayPreferenceStore.BOOLEAN,
480         PreferenceConstants.EDITOR_JAVADOC_TAG_BOLD));
481     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
482         OverlayPreferenceStore.STRING,
483         PreferenceConstants.EDITOR_JAVADOC_LINKS_COLOR));
484     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
485         OverlayPreferenceStore.BOOLEAN,
486         PreferenceConstants.EDITOR_JAVADOC_LINKS_BOLD));
487     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
488         OverlayPreferenceStore.STRING,
489         PreferenceConstants.EDITOR_JAVADOC_DEFAULT_COLOR));
490     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
491         OverlayPreferenceStore.BOOLEAN,
492         PreferenceConstants.EDITOR_JAVADOC_DEFAULT_BOLD));
493     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
494         OverlayPreferenceStore.STRING,
495         PreferenceConstants.EDITOR_MATCHING_BRACKETS_COLOR));
496     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
497         OverlayPreferenceStore.BOOLEAN,
498         PreferenceConstants.EDITOR_MATCHING_BRACKETS));
499     overlayKeys
500         .add(new OverlayPreferenceStore.OverlayKey(
501             OverlayPreferenceStore.STRING,
502             AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR));
503     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
504         OverlayPreferenceStore.BOOLEAN,
505         AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE));
506     overlayKeys
507         .add(new OverlayPreferenceStore.OverlayKey(
508             OverlayPreferenceStore.STRING,
509             AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLOR));
510     overlayKeys
511         .add(new OverlayPreferenceStore.OverlayKey(
512             OverlayPreferenceStore.INT,
513             AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLUMN));
514     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
515         OverlayPreferenceStore.BOOLEAN,
516         AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN));
517     //          overlayKeys.add(new
518     // OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,
519     // PreferenceConstants.EDITOR_MARK_OCCURRENCES));
520     //          overlayKeys.add(new
521     // OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,
522     // PreferenceConstants.EDITOR_STICKY_OCCURRENCES));
523     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
524         OverlayPreferenceStore.STRING,
525         PreferenceConstants.EDITOR_FIND_SCOPE_COLOR));
526     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
527         OverlayPreferenceStore.STRING, PreferenceConstants.EDITOR_LINK_COLOR));
528     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
529         OverlayPreferenceStore.BOOLEAN,
530         PreferenceConstants.EDITOR_CORRECTION_INDICATION));
531     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
532         OverlayPreferenceStore.BOOLEAN,
533         PreferenceConstants.EDITOR_EVALUTE_TEMPORARY_PROBLEMS));
534     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
535         OverlayPreferenceStore.BOOLEAN,
536         AbstractDecoratedTextEditorPreferenceConstants.EDITOR_OVERVIEW_RULER));
537     overlayKeys
538         .add(new OverlayPreferenceStore.OverlayKey(
539             OverlayPreferenceStore.STRING,
540             AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR));
541     overlayKeys
542         .add(new OverlayPreferenceStore.OverlayKey(
543             OverlayPreferenceStore.BOOLEAN,
544             AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER));
545     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
546         OverlayPreferenceStore.BOOLEAN,
547         PreferenceConstants.EDITOR_SPACES_FOR_TABS));
548     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
549         OverlayPreferenceStore.BOOLEAN,
550         PreferenceConstants.CODEASSIST_AUTOACTIVATION));
551     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
552         OverlayPreferenceStore.INT,
553         PreferenceConstants.CODEASSIST_AUTOACTIVATION_DELAY));
554     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
555         OverlayPreferenceStore.BOOLEAN,
556         PreferenceConstants.CODEASSIST_AUTOINSERT));
557     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
558         OverlayPreferenceStore.STRING,
559         PreferenceConstants.CODEASSIST_PROPOSALS_BACKGROUND));
560     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
561         OverlayPreferenceStore.STRING,
562         PreferenceConstants.CODEASSIST_PROPOSALS_FOREGROUND));
563     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
564         OverlayPreferenceStore.STRING,
565         PreferenceConstants.CODEASSIST_PARAMETERS_BACKGROUND));
566     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
567         OverlayPreferenceStore.STRING,
568         PreferenceConstants.CODEASSIST_PARAMETERS_FOREGROUND));
569     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
570         OverlayPreferenceStore.STRING,
571         PreferenceConstants.CODEASSIST_REPLACEMENT_BACKGROUND));
572     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
573         OverlayPreferenceStore.STRING,
574         PreferenceConstants.CODEASSIST_REPLACEMENT_FOREGROUND));
575     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
576         OverlayPreferenceStore.STRING,
577         PreferenceConstants.CODEASSIST_AUTOACTIVATION_TRIGGERS_JAVA));
578     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
579         OverlayPreferenceStore.STRING,
580         PreferenceConstants.CODEASSIST_AUTOACTIVATION_TRIGGERS_JAVADOC));
581     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
582         OverlayPreferenceStore.BOOLEAN,
583         PreferenceConstants.CODEASSIST_SHOW_VISIBLE_PROPOSALS));
584     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
585         OverlayPreferenceStore.BOOLEAN,
586         PreferenceConstants.CODEASSIST_ORDER_PROPOSALS));
587     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
588         OverlayPreferenceStore.BOOLEAN,
589         PreferenceConstants.CODEASSIST_CASE_SENSITIVITY));
590     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
591         OverlayPreferenceStore.BOOLEAN,
592         PreferenceConstants.CODEASSIST_ADDIMPORT));
593     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
594         OverlayPreferenceStore.BOOLEAN,
595         PreferenceConstants.CODEASSIST_INSERT_COMPLETION));
596     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
597         OverlayPreferenceStore.BOOLEAN,
598         PreferenceConstants.CODEASSIST_FILL_ARGUMENT_NAMES));
599     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
600         OverlayPreferenceStore.BOOLEAN,
601         PreferenceConstants.CODEASSIST_GUESS_METHOD_ARGUMENTS));
602     overlayKeys
603         .add(new OverlayPreferenceStore.OverlayKey(
604             OverlayPreferenceStore.BOOLEAN,
605             PreferenceConstants.EDITOR_SMART_PASTE));
606     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
607         OverlayPreferenceStore.BOOLEAN,
608         PreferenceConstants.EDITOR_CLOSE_STRINGS_PHP));
609     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
610         OverlayPreferenceStore.BOOLEAN,
611         PreferenceConstants.EDITOR_CLOSE_BRACKETS_PHP));
612     overlayKeys
613         .add(new OverlayPreferenceStore.OverlayKey(
614             OverlayPreferenceStore.BOOLEAN,
615             PreferenceConstants.EDITOR_CLOSE_BRACES));
616     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
617         OverlayPreferenceStore.BOOLEAN,
618         PreferenceConstants.EDITOR_CLOSE_JAVADOCS));
619     overlayKeys
620         .add(new OverlayPreferenceStore.OverlayKey(
621             OverlayPreferenceStore.BOOLEAN,
622             PreferenceConstants.EDITOR_WRAP_STRINGS));
623     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
624         OverlayPreferenceStore.BOOLEAN,
625         PreferenceConstants.EDITOR_ESCAPE_STRINGS));
626     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
627         OverlayPreferenceStore.BOOLEAN,
628         PreferenceConstants.EDITOR_ADD_JAVADOC_TAGS));
629     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
630         OverlayPreferenceStore.BOOLEAN,
631         PreferenceConstants.EDITOR_SMART_HOME_END));
632     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
633         OverlayPreferenceStore.BOOLEAN,
634         PreferenceConstants.EDITOR_SUB_WORD_NAVIGATION));
635     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
636         OverlayPreferenceStore.BOOLEAN,
637         PreferenceConstants.EDITOR_DISABLE_OVERWRITE_MODE));
638     //          overlayKeys.add(new
639     // OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,
640     // PreferenceConstants.EDITOR_SHOW_TEXT_HOVER_AFFORDANCE));
641     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
642         OverlayPreferenceStore.STRING,
643         PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIERS));
644     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
645         OverlayPreferenceStore.STRING,
646         PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS));
647     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
648         OverlayPreferenceStore.BOOLEAN,
649         PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS));
650     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
651         OverlayPreferenceStore.STRING,
652         PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS_KEY_MODIFIER));
653     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
654         OverlayPreferenceStore.STRING,
655         PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS_KEY_MODIFIER_MASK));
656     while (e.hasNext()) {
657       AnnotationPreference info = (AnnotationPreference) e.next();
658       overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
659           OverlayPreferenceStore.STRING, info.getColorPreferenceKey()));
660       overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
661           OverlayPreferenceStore.BOOLEAN, info.getTextPreferenceKey()));
662       if (info.getHighlightPreferenceKey() != null)
663         overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
664             OverlayPreferenceStore.BOOLEAN, info.getHighlightPreferenceKey()));
665       overlayKeys
666           .add(new OverlayPreferenceStore.OverlayKey(
667               OverlayPreferenceStore.BOOLEAN, info
668                   .getOverviewRulerPreferenceKey()));
669       if (info.getVerticalRulerPreferenceKey() != null)
670         overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
671             OverlayPreferenceStore.BOOLEAN, info
672                 .getVerticalRulerPreferenceKey()));
673       if (info.getTextStylePreferenceKey() != null)
674         overlayKeys.add(new OverlayPreferenceStore.OverlayKey(
675             OverlayPreferenceStore.STRING, info.getTextStylePreferenceKey()));
676     }
677     OverlayPreferenceStore.OverlayKey[] keys = new OverlayPreferenceStore.OverlayKey[overlayKeys
678         .size()];
679     overlayKeys.toArray(keys);
680     return keys;
681   } /*
682      * @see IWorkbenchPreferencePage#init()
683      */
684
685   public void init(IWorkbench workbench) {
686   }
687
688   /*
689    * @see PreferencePage#createControl(Composite)
690    */
691   public void createControl(Composite parent) {
692     super.createControl(parent);
693     WorkbenchHelp.setHelp(getControl(),
694         IJavaHelpContextIds.JAVA_EDITOR_PREFERENCE_PAGE);
695   }
696
697   private void handleSyntaxColorListSelection() {
698     int i = fSyntaxColorList.getSelectionIndex();
699     String key = fSyntaxColorListModel[i][1];
700     RGB rgb = PreferenceConverter.getColor(fOverlayStore, key);
701     fSyntaxForegroundColorEditor.setColorValue(rgb);
702     fBoldCheckBox.setSelection(fOverlayStore.getBoolean(key + BOLD));
703   }
704
705   private void handleAppearanceColorListSelection() {
706     int i = fAppearanceColorList.getSelectionIndex();
707     String key = fAppearanceColorListModel[i][1];
708     RGB rgb = PreferenceConverter.getColor(fOverlayStore, key);
709     fAppearanceColorEditor.setColorValue(rgb);
710   }
711
712   //  private void handleAnnotationListSelection() {
713   //    int i = fAnnotationList.getSelectionIndex();
714   //    String key = fAnnotationColorListModel[i][1];
715   //    RGB rgb = PreferenceConverter.getColor(fOverlayStore, key);
716   //    fAnnotationForegroundColorEditor.setColorValue(rgb);
717   //    key = fAnnotationColorListModel[i][2];
718   //    boolean showInText = fOverlayStore.getBoolean(key);
719   //    fShowInTextCheckBox.setSelection(showInText);
720   //    key = fAnnotationColorListModel[i][6];
721   //    if (key != null) {
722   //      fDecorationStyleCombo.setEnabled(showInText);
723   //      for (int j = 0; j < fAnnotationDecorationListModel.length; j++) {
724   //        String value = fOverlayStore.getString(key);
725   //        if (fAnnotationDecorationListModel[j][1].equals(value)) {
726   //          fDecorationStyleCombo.setText(fAnnotationDecorationListModel[j][0]);
727   //          break;
728   //        }
729   //      }
730   //    } else {
731   //      fDecorationStyleCombo.setEnabled(false);
732   //      fDecorationStyleCombo.setText(fAnnotationDecorationListModel[1][0]); // set
733   //                                                                           // selection
734   //                                                                           // to
735   //                                                                           // squigglies
736   //                                                                           // if
737   //                                                                           // the
738   //                                                                           // key
739   //                                                                           // is
740   //                                                                           // not
741   //                                                                           // there
742   //                                                                           // (legacy
743   //                                                                           // support)
744   //    }
745   //    key = fAnnotationColorListModel[i][3];
746   //    fShowInOverviewRulerCheckBox.setSelection(fOverlayStore.getBoolean(key));
747   //    key = fAnnotationColorListModel[i][4];
748   //    if (key != null) {
749   //      fHighlightInTextCheckBox.setSelection(fOverlayStore.getBoolean(key));
750   //      fHighlightInTextCheckBox.setEnabled(true);
751   //    } else
752   //      fHighlightInTextCheckBox.setEnabled(false);
753   //    key = fAnnotationColorListModel[i][5];
754   //    if (key != null) {
755   //      fShowInVerticalRulerCheckBox.setSelection(fOverlayStore.getBoolean(key));
756   //      fShowInVerticalRulerCheckBox.setEnabled(true);
757   //    } else {
758   //      fShowInVerticalRulerCheckBox.setSelection(true);
759   //      fShowInVerticalRulerCheckBox.setEnabled(false);
760   //    }
761   //  }
762   private Control createSyntaxPage(Composite parent) {
763     Composite colorComposite = new Composite(parent, SWT.NULL);
764     colorComposite.setLayout(new GridLayout());
765     Group backgroundComposite = new Group(colorComposite, SWT.SHADOW_ETCHED_IN);
766     backgroundComposite.setLayout(new RowLayout());
767     backgroundComposite.setText(PreferencesMessages
768         .getString("JavaEditorPreferencePage.backgroundColor"));//$NON-NLS-1$
769     SelectionListener backgroundSelectionListener = new SelectionListener() {
770       public void widgetSelected(SelectionEvent e) {
771         boolean custom = fBackgroundCustomRadioButton.getSelection();
772         fBackgroundColorButton.setEnabled(custom);
773         fOverlayStore.setValue(
774             PreferenceConstants.EDITOR_BACKGROUND_DEFAULT_COLOR, !custom);
775       }
776
777       public void widgetDefaultSelected(SelectionEvent e) {
778       }
779     };
780     fBackgroundDefaultRadioButton = new Button(backgroundComposite, SWT.RADIO
781         | SWT.LEFT);
782     fBackgroundDefaultRadioButton.setText(PreferencesMessages
783         .getString("JavaEditorPreferencePage.systemDefault")); //$NON-NLS-1$
784     fBackgroundDefaultRadioButton
785         .addSelectionListener(backgroundSelectionListener);
786     fBackgroundCustomRadioButton = new Button(backgroundComposite, SWT.RADIO
787         | SWT.LEFT);
788     fBackgroundCustomRadioButton.setText(PreferencesMessages
789         .getString("JavaEditorPreferencePage.custom")); //$NON-NLS-1$
790     fBackgroundCustomRadioButton
791         .addSelectionListener(backgroundSelectionListener);
792     fBackgroundColorEditor = new ColorEditor(backgroundComposite);
793     fBackgroundColorButton = fBackgroundColorEditor.getButton();
794     Label label = new Label(colorComposite, SWT.LEFT);
795     label.setText(PreferencesMessages
796         .getString("JavaEditorPreferencePage.foreground")); //$NON-NLS-1$
797     label.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
798     Composite editorComposite = new Composite(colorComposite, SWT.NONE);
799     GridLayout layout = new GridLayout();
800     layout.numColumns = 2;
801     layout.marginHeight = 0;
802     layout.marginWidth = 0;
803     editorComposite.setLayout(layout);
804     GridData gd = new GridData(GridData.FILL_BOTH);
805     editorComposite.setLayoutData(gd);
806     fSyntaxColorList = new List(editorComposite, SWT.SINGLE | SWT.V_SCROLL
807         | SWT.BORDER);
808     gd = new GridData(GridData.FILL_BOTH);
809     gd.heightHint = convertHeightInCharsToPixels(5);
810     fSyntaxColorList.setLayoutData(gd);
811     Composite stylesComposite = new Composite(editorComposite, SWT.NONE);
812     layout = new GridLayout();
813     layout.marginHeight = 0;
814     layout.marginWidth = 0;
815     layout.numColumns = 2;
816     stylesComposite.setLayout(layout);
817     stylesComposite.setLayoutData(new GridData(GridData.FILL_BOTH));
818     label = new Label(stylesComposite, SWT.LEFT);
819     label.setText(PreferencesMessages
820         .getString("JavaEditorPreferencePage.color")); //$NON-NLS-1$
821     gd = new GridData();
822     gd.horizontalAlignment = GridData.BEGINNING;
823     label.setLayoutData(gd);
824     fSyntaxForegroundColorEditor = new ColorEditor(stylesComposite);
825     Button foregroundColorButton = fSyntaxForegroundColorEditor.getButton();
826     gd = new GridData(GridData.FILL_HORIZONTAL);
827     gd.horizontalAlignment = GridData.BEGINNING;
828     foregroundColorButton.setLayoutData(gd);
829     fBoldCheckBox = new Button(stylesComposite, SWT.CHECK);
830     fBoldCheckBox.setText(PreferencesMessages
831         .getString("JavaEditorPreferencePage.bold")); //$NON-NLS-1$
832     gd = new GridData(GridData.FILL_HORIZONTAL);
833     gd.horizontalAlignment = GridData.BEGINNING;
834     gd.horizontalSpan = 2;
835     fBoldCheckBox.setLayoutData(gd);
836     label = new Label(colorComposite, SWT.LEFT);
837     label.setText(PreferencesMessages
838         .getString("JavaEditorPreferencePage.preview")); //$NON-NLS-1$
839     label.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
840     Control previewer = createPreviewer(colorComposite);
841     gd = new GridData(GridData.FILL_BOTH);
842     gd.widthHint = convertWidthInCharsToPixels(20);
843     gd.heightHint = convertHeightInCharsToPixels(5);
844     previewer.setLayoutData(gd);
845     fSyntaxColorList.addSelectionListener(new SelectionListener() {
846       public void widgetDefaultSelected(SelectionEvent e) {
847         // do nothing
848       }
849
850       public void widgetSelected(SelectionEvent e) {
851         handleSyntaxColorListSelection();
852       }
853     });
854     foregroundColorButton.addSelectionListener(new SelectionListener() {
855       public void widgetDefaultSelected(SelectionEvent e) {
856         // do nothing
857       }
858
859       public void widgetSelected(SelectionEvent e) {
860         int i = fSyntaxColorList.getSelectionIndex();
861         String key = fSyntaxColorListModel[i][1];
862         PreferenceConverter.setValue(fOverlayStore, key,
863             fSyntaxForegroundColorEditor.getColorValue());
864       }
865     });
866     fBackgroundColorButton.addSelectionListener(new SelectionListener() {
867       public void widgetDefaultSelected(SelectionEvent e) {
868         // do nothing
869       }
870
871       public void widgetSelected(SelectionEvent e) {
872         PreferenceConverter.setValue(fOverlayStore,
873             PreferenceConstants.EDITOR_BACKGROUND_COLOR, fBackgroundColorEditor
874                 .getColorValue());
875       }
876     });
877     fBoldCheckBox.addSelectionListener(new SelectionListener() {
878       public void widgetDefaultSelected(SelectionEvent e) {
879         // do nothing
880       }
881
882       public void widgetSelected(SelectionEvent e) {
883         int i = fSyntaxColorList.getSelectionIndex();
884         String key = fSyntaxColorListModel[i][1];
885         fOverlayStore.setValue(key + BOLD, fBoldCheckBox.getSelection());
886       }
887     });
888     return colorComposite;
889   }
890
891   private Control createPreviewer(Composite parent) {
892     Preferences coreStore = createTemporaryCorePreferenceStore();
893     fJavaTextTools = new JavaTextTools(fOverlayStore, coreStore, false);
894     IPreferenceStore generalTextStore = EditorsUI.getPreferenceStore();
895     IPreferenceStore store = new ChainedPreferenceStore(new IPreferenceStore[] {
896         fOverlayStore,
897         new PreferencesAdapter(createTemporaryCorePreferenceStore()),
898         generalTextStore });
899
900     fPreviewViewer = new JavaSourceViewer(parent, null, null, false,
901         SWT.V_SCROLL | SWT.H_SCROLL | SWT.BORDER, store);
902
903     fPreviewViewer.configure(new PHPSourceViewerConfiguration(fJavaTextTools,
904         null));
905     //          Font font= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT);
906     //          fPreviewViewer.getTextWidget().setFont(font);
907     fPreviewViewer.getTextWidget().setFont(
908         JFaceResources.getFontRegistry().get(JFaceResources.TEXT_FONT));
909     //          new JavaSourcePreviewerUpdater(fPreviewViewer, fJavaTextTools);
910     fPreviewViewer.setEditable(false);
911     String content = loadPreviewContentFromFile("ColorSettingPreviewCode.txt"); //$NON-NLS-1$
912     IDocument document = new Document(content);
913     fJavaTextTools.setupJavaDocumentPartitioner(document, ".php", null); //IJavaPartitions.JAVA_PARTITIONING);
914     fPreviewViewer.setDocument(document);
915     return fPreviewViewer.getControl();
916   }
917
918   private Preferences createTemporaryCorePreferenceStore() {
919     Preferences result = new Preferences();
920     result.setValue(COMPILER_TASK_TAGS, "TASK"); //$NON-NLS-1$
921     return result;
922   }
923
924   private Control createAppearancePage(Composite parent) {
925     Composite appearanceComposite = new Composite(parent, SWT.NONE);
926     GridLayout layout = new GridLayout();
927     layout.numColumns = 2;
928     appearanceComposite.setLayout(layout);
929     String label = PreferencesMessages
930         .getString("JavaEditorPreferencePage.displayedTabWidth"); //$NON-NLS-1$
931     addTextField(appearanceComposite, label,
932         PreferenceConstants.EDITOR_TAB_WIDTH, 3, 0, true);
933     label = PreferencesMessages
934         .getString("JavaEditorPreferencePage.printMarginColumn"); //$NON-NLS-1$
935     addTextField(
936         appearanceComposite,
937         label,
938         AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLUMN,
939         3, 0, true);
940     label = PreferencesMessages
941         .getString("JavaEditorPreferencePage.showOverviewRuler"); //$NON-NLS-1$
942     addCheckBox(appearanceComposite, label,
943         AbstractDecoratedTextEditorPreferenceConstants.EDITOR_OVERVIEW_RULER, 0);
944     label = PreferencesMessages
945         .getString("JavaEditorPreferencePage.showLineNumbers"); //$NON-NLS-1$
946     addCheckBox(
947         appearanceComposite,
948         label,
949         AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER,
950         0);
951     label = PreferencesMessages
952         .getString("JavaEditorPreferencePage.highlightMatchingBrackets"); //$NON-NLS-1$
953     addCheckBox(appearanceComposite, label,
954         PreferenceConstants.EDITOR_MATCHING_BRACKETS, 0);
955     label = PreferencesMessages
956         .getString("JavaEditorPreferencePage.highlightCurrentLine"); //$NON-NLS-1$
957     addCheckBox(appearanceComposite, label,
958         AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE, 0);
959     label = PreferencesMessages
960         .getString("JavaEditorPreferencePage.showPrintMargin"); //$NON-NLS-1$
961     addCheckBox(appearanceComposite, label,
962         AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN, 0);
963     label = PreferencesMessages
964         .getString("JavaEditorPreferencePage.markOccurrences"); //$NON-NLS-1$
965     //          Button master= addCheckBox(appearanceComposite, label,
966     // PreferenceConstants.EDITOR_MARK_OCCURRENCES, 0); //$NON-NLS-1$
967     label = PreferencesMessages
968         .getString("JavaEditorPreferencePage.stickyOccurrences"); //$NON-NLS-1$
969     //          fStickyOccurrencesButton= addCheckBox(appearanceComposite, label,
970     // PreferenceConstants.EDITOR_STICKY_OCCURRENCES, 0); //$NON-NLS-1$
971     //          createDependency(master, fStickyOccurrencesButton);
972     Label l = new Label(appearanceComposite, SWT.LEFT);
973     GridData gd = new GridData(GridData.HORIZONTAL_ALIGN_FILL);
974     gd.horizontalSpan = 2;
975     gd.heightHint = convertHeightInCharsToPixels(1) / 2;
976     l.setLayoutData(gd);
977     l = new Label(appearanceComposite, SWT.LEFT);
978     l.setText(PreferencesMessages
979         .getString("JavaEditorPreferencePage.appearanceOptions")); //$NON-NLS-1$
980     gd = new GridData(GridData.HORIZONTAL_ALIGN_FILL);
981     gd.horizontalSpan = 2;
982     l.setLayoutData(gd);
983     Composite editorComposite = new Composite(appearanceComposite, SWT.NONE);
984     layout = new GridLayout();
985     layout.numColumns = 2;
986     layout.marginHeight = 0;
987     layout.marginWidth = 0;
988     editorComposite.setLayout(layout);
989     gd = new GridData(GridData.HORIZONTAL_ALIGN_FILL | GridData.FILL_VERTICAL);
990     gd.horizontalSpan = 2;
991     editorComposite.setLayoutData(gd);
992     fAppearanceColorList = new List(editorComposite, SWT.SINGLE | SWT.V_SCROLL
993         | SWT.BORDER);
994     gd = new GridData(GridData.VERTICAL_ALIGN_BEGINNING
995         | GridData.FILL_HORIZONTAL);
996     gd.heightHint = convertHeightInCharsToPixels(8);
997     fAppearanceColorList.setLayoutData(gd);
998     Composite stylesComposite = new Composite(editorComposite, SWT.NONE);
999     layout = new GridLayout();
1000     layout.marginHeight = 0;
1001     layout.marginWidth = 0;
1002     layout.numColumns = 2;
1003     stylesComposite.setLayout(layout);
1004     stylesComposite.setLayoutData(new GridData(GridData.FILL_BOTH));
1005     l = new Label(stylesComposite, SWT.LEFT);
1006     l.setText(PreferencesMessages.getString("JavaEditorPreferencePage.color")); //$NON-NLS-1$
1007     gd = new GridData();
1008     gd.horizontalAlignment = GridData.BEGINNING;
1009     l.setLayoutData(gd);
1010     fAppearanceColorEditor = new ColorEditor(stylesComposite);
1011     Button foregroundColorButton = fAppearanceColorEditor.getButton();
1012     gd = new GridData(GridData.FILL_HORIZONTAL);
1013     gd.horizontalAlignment = GridData.BEGINNING;
1014     foregroundColorButton.setLayoutData(gd);
1015     fAppearanceColorList.addSelectionListener(new SelectionListener() {
1016       public void widgetDefaultSelected(SelectionEvent e) {
1017         // do nothing
1018       }
1019
1020       public void widgetSelected(SelectionEvent e) {
1021         handleAppearanceColorListSelection();
1022       }
1023     });
1024     foregroundColorButton.addSelectionListener(new SelectionListener() {
1025       public void widgetDefaultSelected(SelectionEvent e) {
1026         // do nothing
1027       }
1028
1029       public void widgetSelected(SelectionEvent e) {
1030         int i = fAppearanceColorList.getSelectionIndex();
1031         String key = fAppearanceColorListModel[i][1];
1032         PreferenceConverter.setValue(fOverlayStore, key, fAppearanceColorEditor
1033             .getColorValue());
1034       }
1035     });
1036     return appearanceComposite;
1037   }
1038
1039   //  private Control createAnnotationsPage(Composite parent) {
1040   //    Composite composite = new Composite(parent, SWT.NULL);
1041   //    GridLayout layout = new GridLayout();
1042   //    layout.numColumns = 2;
1043   //    composite.setLayout(layout);
1044   //    String text = PreferencesMessages
1045   //        .getString("JavaEditorPreferencePage.analyseAnnotationsWhileTyping");
1046   // //$NON-NLS-1$
1047   //    addCheckBox(composite, text,
1048   //        PreferenceConstants.EDITOR_EVALUTE_TEMPORARY_PROBLEMS, 0);
1049   //    text = PreferencesMessages
1050   //        .getString("JavaEditorPreferencePage.showQuickFixables"); //$NON-NLS-1$
1051   //    addCheckBox(composite, text,
1052   //        PreferenceConstants.EDITOR_CORRECTION_INDICATION, 0);
1053   //    addFiller(composite);
1054   //    Label label = new Label(composite, SWT.LEFT);
1055   //    label.setText(PreferencesMessages
1056   //        .getString("JavaEditorPreferencePage.annotationPresentationOptions"));
1057   // //$NON-NLS-1$
1058   //    GridData gd = new GridData(GridData.HORIZONTAL_ALIGN_FILL);
1059   //    gd.horizontalSpan = 2;
1060   //    label.setLayoutData(gd);
1061   //    Composite editorComposite = new Composite(composite, SWT.NONE);
1062   //    layout = new GridLayout();
1063   //    layout.numColumns = 2;
1064   //    layout.marginHeight = 0;
1065   //    layout.marginWidth = 0;
1066   //    editorComposite.setLayout(layout);
1067   //    gd = new GridData(GridData.HORIZONTAL_ALIGN_FILL | GridData.FILL_VERTICAL);
1068   //    gd.horizontalSpan = 2;
1069   //    editorComposite.setLayoutData(gd);
1070   //    fAnnotationList = new List(editorComposite, SWT.SINGLE | SWT.V_SCROLL
1071   //        | SWT.BORDER);
1072   //    gd = new GridData(GridData.VERTICAL_ALIGN_BEGINNING
1073   //        | GridData.FILL_HORIZONTAL);
1074   //    gd.heightHint = convertHeightInCharsToPixels(10);
1075   //    fAnnotationList.setLayoutData(gd);
1076   //    Composite optionsComposite = new Composite(editorComposite, SWT.NONE);
1077   //    layout = new GridLayout();
1078   //    layout.marginHeight = 0;
1079   //    layout.marginWidth = 0;
1080   //    layout.numColumns = 2;
1081   //    optionsComposite.setLayout(layout);
1082   //    optionsComposite.setLayoutData(new GridData(GridData.FILL_BOTH));
1083   //    fShowInTextCheckBox = new Button(optionsComposite, SWT.CHECK);
1084   //    fShowInTextCheckBox.setText(PreferencesMessages
1085   //        .getString("JavaEditorPreferencePage.annotations.showInText"));
1086   // //$NON-NLS-1$
1087   //    gd = new GridData(GridData.FILL_HORIZONTAL);
1088   //    gd.horizontalAlignment = GridData.BEGINNING;
1089   //    gd.horizontalSpan = 2;
1090   //    fShowInTextCheckBox.setLayoutData(gd);
1091   //    fDecorationStyleCombo = new Combo(optionsComposite, SWT.READ_ONLY);
1092   //    for (int i = 0; i < fAnnotationDecorationListModel.length; i++)
1093   //      fDecorationStyleCombo.add(fAnnotationDecorationListModel[i][0]);
1094   //    gd = new GridData(GridData.FILL_HORIZONTAL);
1095   //    gd.horizontalAlignment = GridData.BEGINNING;
1096   //    gd.horizontalSpan = 2;
1097   //    gd.horizontalIndent = 20;
1098   //    fDecorationStyleCombo.setLayoutData(gd);
1099   //    fHighlightInTextCheckBox = new Button(optionsComposite, SWT.CHECK);
1100   //    fHighlightInTextCheckBox.setText(PreferencesMessages
1101   //        .getString("TextEditorPreferencePage.annotations.highlightInText"));
1102   // //$NON-NLS-1$
1103   //    gd = new GridData(GridData.FILL_HORIZONTAL);
1104   //    gd.horizontalAlignment = GridData.BEGINNING;
1105   //    gd.horizontalSpan = 2;
1106   //    fHighlightInTextCheckBox.setLayoutData(gd);
1107   //    fShowInOverviewRulerCheckBox = new Button(optionsComposite, SWT.CHECK);
1108   //    fShowInOverviewRulerCheckBox.setText(PreferencesMessages
1109   //        .getString("JavaEditorPreferencePage.annotations.showInOverviewRuler"));
1110   // //$NON-NLS-1$
1111   //    gd = new GridData(GridData.FILL_HORIZONTAL);
1112   //    gd.horizontalAlignment = GridData.BEGINNING;
1113   //    gd.horizontalSpan = 2;
1114   //    fShowInOverviewRulerCheckBox.setLayoutData(gd);
1115   //    fShowInVerticalRulerCheckBox = new Button(optionsComposite, SWT.CHECK);
1116   //    fShowInVerticalRulerCheckBox.setText(PreferencesMessages
1117   //        .getString("JavaEditorPreferencePage.annotations.showInVerticalRuler"));
1118   // //$NON-NLS-1$
1119   //    gd = new GridData(GridData.FILL_HORIZONTAL);
1120   //    gd.horizontalAlignment = GridData.BEGINNING;
1121   //    gd.horizontalSpan = 2;
1122   //    fShowInVerticalRulerCheckBox.setLayoutData(gd);
1123   //    label = new Label(optionsComposite, SWT.LEFT);
1124   //    label.setText(PreferencesMessages
1125   //        .getString("JavaEditorPreferencePage.annotations.color")); //$NON-NLS-1$
1126   //    gd = new GridData();
1127   //    gd.horizontalAlignment = GridData.BEGINNING;
1128   //    label.setLayoutData(gd);
1129   //    fAnnotationForegroundColorEditor = new ColorEditor(optionsComposite);
1130   //    Button foregroundColorButton =
1131   // fAnnotationForegroundColorEditor.getButton();
1132   //    gd = new GridData(GridData.FILL_HORIZONTAL);
1133   //    gd.horizontalAlignment = GridData.BEGINNING;
1134   //    foregroundColorButton.setLayoutData(gd);
1135   //    fAnnotationList.addSelectionListener(new SelectionListener() {
1136   //      public void widgetDefaultSelected(SelectionEvent e) {
1137   //        // do nothing
1138   //      }
1139   //      public void widgetSelected(SelectionEvent e) {
1140   //        handleAnnotationListSelection();
1141   //      }
1142   //    });
1143   //    fShowInTextCheckBox.addSelectionListener(new SelectionListener() {
1144   //      public void widgetDefaultSelected(SelectionEvent e) {
1145   //        // do nothing
1146   //      }
1147   //      public void widgetSelected(SelectionEvent e) {
1148   //        int i = fAnnotationList.getSelectionIndex();
1149   //        String key = fAnnotationColorListModel[i][2];
1150   //        fOverlayStore.setValue(key, fShowInTextCheckBox.getSelection());
1151   //        String decorationKey = fAnnotationColorListModel[i][6];
1152   //        fDecorationStyleCombo.setEnabled(decorationKey != null
1153   //            && fShowInTextCheckBox.getSelection());
1154   //      }
1155   //    });
1156   //    fHighlightInTextCheckBox.addSelectionListener(new SelectionListener() {
1157   //      public void widgetDefaultSelected(SelectionEvent e) {
1158   //        // do nothing
1159   //      }
1160   //      public void widgetSelected(SelectionEvent e) {
1161   //        int i = fAnnotationList.getSelectionIndex();
1162   //        String key = fAnnotationColorListModel[i][4];
1163   //        fOverlayStore.setValue(key, fHighlightInTextCheckBox.getSelection());
1164   //      }
1165   //    });
1166   //    fShowInOverviewRulerCheckBox.addSelectionListener(new SelectionListener() {
1167   //      public void widgetDefaultSelected(SelectionEvent e) {
1168   //        // do nothing
1169   //      }
1170   //      public void widgetSelected(SelectionEvent e) {
1171   //        int i = fAnnotationList.getSelectionIndex();
1172   //        String key = fAnnotationColorListModel[i][3];
1173   //        fOverlayStore
1174   //            .setValue(key, fShowInOverviewRulerCheckBox.getSelection());
1175   //      }
1176   //    });
1177   //    fShowInVerticalRulerCheckBox.addSelectionListener(new SelectionListener() {
1178   //      public void widgetDefaultSelected(SelectionEvent e) {
1179   //        // do nothing
1180   //      }
1181   //      public void widgetSelected(SelectionEvent e) {
1182   //        int i = fAnnotationList.getSelectionIndex();
1183   //        String key = fAnnotationColorListModel[i][5];
1184   //        fOverlayStore
1185   //            .setValue(key, fShowInVerticalRulerCheckBox.getSelection());
1186   //      }
1187   //    });
1188   //    foregroundColorButton.addSelectionListener(new SelectionListener() {
1189   //      public void widgetDefaultSelected(SelectionEvent e) {
1190   //        // do nothing
1191   //      }
1192   //      public void widgetSelected(SelectionEvent e) {
1193   //        int i = fAnnotationList.getSelectionIndex();
1194   //        String key = fAnnotationColorListModel[i][1];
1195   //        PreferenceConverter.setValue(fOverlayStore, key,
1196   //            fAnnotationForegroundColorEditor.getColorValue());
1197   //      }
1198   //    });
1199   //    fDecorationStyleCombo.addSelectionListener(new SelectionListener() {
1200   //      /**
1201   //       * {@inheritdoc}
1202   //       */
1203   //      public void widgetDefaultSelected(SelectionEvent e) {
1204   //        // do nothing
1205   //      }
1206   //      /**
1207   //       * {@inheritdoc}
1208   //       */
1209   //      public void widgetSelected(SelectionEvent e) {
1210   //        int i = fAnnotationList.getSelectionIndex();
1211   //        String key = fAnnotationColorListModel[i][6];
1212   //        if (key != null) {
1213   //          for (int j = 0; j < fAnnotationDecorationListModel.length; j++) {
1214   //            if (fAnnotationDecorationListModel[j][0]
1215   //                .equals(fDecorationStyleCombo.getText())) {
1216   //              fOverlayStore.setValue(key, fAnnotationDecorationListModel[j][1]);
1217   //              break;
1218   //            }
1219   //          }
1220   //        }
1221   //      }
1222   //    });
1223   //    return composite;
1224   //  }
1225   private String[][] createAnnotationTypeListModel(
1226       MarkerAnnotationPreferences preferences) {
1227     ArrayList listModelItems = new ArrayList();
1228     SortedSet sortedPreferences = new TreeSet(new Comparator() {
1229       /*
1230        * @see java.util.Comparator#compare(java.lang.Object, java.lang.Object)
1231        */
1232       public int compare(Object o1, Object o2) {
1233         if (!(o2 instanceof AnnotationPreference))
1234           return -1;
1235         if (!(o1 instanceof AnnotationPreference))
1236           return 1;
1237         AnnotationPreference a1 = (AnnotationPreference) o1;
1238         AnnotationPreference a2 = (AnnotationPreference) o2;
1239         return Collator.getInstance().compare(a1.getPreferenceLabel(),
1240             a2.getPreferenceLabel());
1241       }
1242     });
1243     sortedPreferences.addAll(preferences.getAnnotationPreferences());
1244     Iterator e = sortedPreferences.iterator();
1245     while (e.hasNext()) {
1246       AnnotationPreference info = (AnnotationPreference) e.next();
1247       listModelItems.add(new String[] { info.getPreferenceLabel(),
1248           info.getColorPreferenceKey(), info.getTextPreferenceKey(),
1249           info.getOverviewRulerPreferenceKey(),
1250           info.getHighlightPreferenceKey(),
1251           info.getVerticalRulerPreferenceKey(),
1252           info.getTextStylePreferenceKey() });
1253     }
1254     String[][] items = new String[listModelItems.size()][];
1255     listModelItems.toArray(items);
1256     return items;
1257   }
1258
1259   private Control createTypingPage(Composite parent) {
1260     Composite composite = new Composite(parent, SWT.NONE);
1261     GridLayout layout = new GridLayout();
1262     layout.numColumns = 1;
1263     composite.setLayout(layout);
1264     String label;
1265 //    label = PreferencesMessages
1266 //        .getString("JavaEditorPreferencePage.overwriteMode");
1267 //    //$NON-NLS-1$
1268 //    addCheckBox(composite, label,
1269 //        PreferenceConstants.EDITOR_DISABLE_OVERWRITE_MODE, 1);
1270 //    addFiller(composite);
1271 //
1272 //    label = PreferencesMessages
1273 //        .getString("JavaEditorPreferencePage.smartHomeEnd");
1274 //    //$NON-NLS-1$
1275 //    addCheckBox(composite, label, PreferenceConstants.EDITOR_SMART_HOME_END, 1);
1276 //
1277 //    label = PreferencesMessages
1278 //        .getString("JavaEditorPreferencePage.subWordNavigation");
1279 //    //$NON-NLS-1$
1280 //    addCheckBox(composite, label,
1281 //        PreferenceConstants.EDITOR_SUB_WORD_NAVIGATION, 1);
1282 //    addFiller(composite);
1283     Group group = new Group(composite, SWT.NONE);
1284     layout = new GridLayout();
1285     layout.numColumns = 2;
1286     group.setLayout(layout);
1287     group.setText(PreferencesMessages
1288         .getString("JavaEditorPreferencePage.typing.description")); //$NON-NLS-1$
1289
1290 //    label = PreferencesMessages
1291 //        .getString("JavaEditorPreferencePage.wrapStrings");
1292 //    //$NON-NLS-1$
1293 //    Button button = addCheckBox(group, label,
1294 //        PreferenceConstants.EDITOR_WRAP_STRINGS, 1);
1295 //
1296 //    label = PreferencesMessages
1297 //        .getString("JavaEditorPreferencePage.escapeStrings");
1298 //    //$NON-NLS-1$
1299 //    fEscapeStringsButton = addCheckBox(group, label,
1300 //        PreferenceConstants.EDITOR_ESCAPE_STRINGS, 1);
1301 //    createDependency(button, fEscapeStringsButton);
1302
1303 //    label = PreferencesMessages
1304 //        .getString("JavaEditorPreferencePage.smartPaste");
1305 //    //$NON-NLS-1$
1306 //    addCheckBox(group, label, PreferenceConstants.EDITOR_SMART_PASTE, 1);
1307
1308     label = PreferencesMessages
1309         .getString("JavaEditorPreferencePage.insertSpaceForTabs");
1310     //$NON-NLS-1$
1311     addCheckBox(group, label, PreferenceConstants.EDITOR_SPACES_FOR_TABS, 1);
1312
1313     label = PreferencesMessages
1314         .getString("JavaEditorPreferencePage.closeStrings");
1315     //$NON-NLS-1$
1316     addCheckBox(group, label, PreferenceConstants.EDITOR_CLOSE_STRINGS_PHP, 1);
1317
1318     label = PreferencesMessages
1319         .getString("JavaEditorPreferencePage.closeBrackets");
1320     //$NON-NLS-1$
1321     addCheckBox(group, label, PreferenceConstants.EDITOR_CLOSE_BRACKETS_PHP, 1);
1322
1323 //    label = PreferencesMessages
1324 //        .getString("JavaEditorPreferencePage.closeBraces");
1325 //    //$NON-NLS-1$
1326 //    addCheckBox(group, label, PreferenceConstants.EDITOR_CLOSE_BRACES, 1);
1327 //
1328 //    label = PreferencesMessages
1329 //        .getString("JavaEditorPreferencePage.closeJavaDocs");
1330 //    //$NON-NLS-1$
1331 //    button = addCheckBox(group, label,
1332 //        PreferenceConstants.EDITOR_CLOSE_JAVADOCS, 1);
1333 //
1334 //    label = PreferencesMessages
1335 //        .getString("JavaEditorPreferencePage.addJavaDocTags");
1336 //    //$NON-NLS-1$
1337 //    fAddJavaDocTagsButton = addCheckBox(group, label,
1338 //        PreferenceConstants.EDITOR_ADD_JAVADOC_TAGS, 1);
1339 //    createDependency(button, fAddJavaDocTagsButton);
1340     return composite;
1341   }
1342
1343   private void addFiller(Composite composite) {
1344     Label filler = new Label(composite, SWT.LEFT);
1345     GridData gd = new GridData(GridData.HORIZONTAL_ALIGN_FILL);
1346     gd.horizontalSpan = 2;
1347     gd.heightHint = convertHeightInCharsToPixels(1) / 2;
1348     filler.setLayoutData(gd);
1349   }
1350
1351   private static void indent(Control control) {
1352     GridData gridData = new GridData();
1353     gridData.horizontalIndent = 20;
1354     control.setLayoutData(gridData);
1355   }
1356
1357   private static void createDependency(final Button master, final Control slave) {
1358     indent(slave);
1359     master.addSelectionListener(new SelectionListener() {
1360       public void widgetSelected(SelectionEvent e) {
1361         slave.setEnabled(master.getSelection());
1362       }
1363
1364       public void widgetDefaultSelected(SelectionEvent e) {
1365       }
1366     });
1367   }
1368
1369   private void addCompletionRadioButtons(Composite contentAssistComposite) {
1370     Composite completionComposite = new Composite(contentAssistComposite,
1371         SWT.NONE);
1372     GridData ccgd = new GridData();
1373     ccgd.horizontalSpan = 2;
1374     completionComposite.setLayoutData(ccgd);
1375     GridLayout ccgl = new GridLayout();
1376     ccgl.marginWidth = 0;
1377     ccgl.numColumns = 2;
1378     completionComposite.setLayout(ccgl);
1379     //          SelectionListener completionSelectionListener= new SelectionAdapter() {
1380     //                  public void widgetSelected(SelectionEvent e) {
1381     //                          boolean insert= fCompletionInsertsRadioButton.getSelection();
1382     //                          fOverlayStore.setValue(PreferenceConstants.CODEASSIST_INSERT_COMPLETION,
1383     // insert);
1384     //                  }
1385     //          };
1386     //          
1387     //          fCompletionInsertsRadioButton= new Button(completionComposite, SWT.RADIO
1388     // | SWT.LEFT);
1389     //          fCompletionInsertsRadioButton.setText(PreferencesMessages.getString("JavaEditorPreferencePage.completionInserts"));
1390     // //$NON-NLS-1$
1391     //          fCompletionInsertsRadioButton.setLayoutData(new GridData());
1392     //          fCompletionInsertsRadioButton.addSelectionListener(completionSelectionListener);
1393     //          
1394     //          fCompletionOverwritesRadioButton= new Button(completionComposite,
1395     // SWT.RADIO | SWT.LEFT);
1396     //          fCompletionOverwritesRadioButton.setText(PreferencesMessages.getString("JavaEditorPreferencePage.completionOverwrites"));
1397     // //$NON-NLS-1$
1398     //          fCompletionOverwritesRadioButton.setLayoutData(new GridData());
1399     //          fCompletionOverwritesRadioButton.addSelectionListener(completionSelectionListener);
1400   }
1401
1402   private Control createNavigationPage(Composite parent) {
1403     Composite composite = new Composite(parent, SWT.NULL);
1404     GridLayout layout = new GridLayout();
1405     layout.numColumns = 2;
1406     composite.setLayout(layout);
1407     //          String text=
1408     // PreferencesMessages.getString("JavaEditorPreferencePage.navigation.browserLikeLinks");
1409     // //$NON-NLS-1$
1410     //          fBrowserLikeLinksCheckBox= addCheckBox(composite, text,
1411     // PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS, 0);
1412     //          fBrowserLikeLinksCheckBox.addSelectionListener(new SelectionListener() {
1413     //                  public void widgetSelected(SelectionEvent e) {
1414     //                          boolean state= fBrowserLikeLinksCheckBox.getSelection();
1415     //                          fBrowserLikeLinksKeyModifierText.setEnabled(state);
1416     //                          handleBrowserLikeLinksKeyModifierModified();
1417     //                  }
1418     //                  public void widgetDefaultSelected(SelectionEvent e) {
1419     //                  }
1420     //          });
1421     // Text field for modifier string
1422     //          text=
1423     // PreferencesMessages.getString("JavaEditorPreferencePage.navigation.browserLikeLinksKeyModifier");
1424     // //$NON-NLS-1$
1425     //          fBrowserLikeLinksKeyModifierText= addTextField(composite, text,
1426     // PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS_KEY_MODIFIER, 20, 0,
1427     // false);
1428     //          fBrowserLikeLinksKeyModifierText.setTextLimit(Text.LIMIT);
1429     //          
1430     //          if
1431     // (computeStateMask(fOverlayStore.getString(PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS_KEY_MODIFIER))
1432     // == -1) {
1433     //                  // Fix possible illegal modifier string
1434     //                  int stateMask=
1435     // fOverlayStore.getInt(PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS_KEY_MODIFIER_MASK);
1436     //                  if (stateMask == -1)
1437     //                          fBrowserLikeLinksKeyModifierText.setText(""); //$NON-NLS-1$
1438     //                  else
1439     //                          fBrowserLikeLinksKeyModifierText.setText(EditorUtility.getModifierString(stateMask));
1440     //          }
1441     //          fBrowserLikeLinksKeyModifierText.addKeyListener(new KeyListener() {
1442     //                  private boolean isModifierCandidate;
1443     //                  public void keyPressed(KeyEvent e) {
1444     //                          isModifierCandidate= e.keyCode > 0 && e.character == 0 && e.stateMask ==
1445     // 0;
1446     //                  }
1447     //          
1448     //                  public void keyReleased(KeyEvent e) {
1449     //                          if (isModifierCandidate && e.stateMask > 0 && e.stateMask == e.stateMask
1450     // && e.character == 0) {// && e.time -time < 1000) {
1451     //                                  String modifierString= fBrowserLikeLinksKeyModifierText.getText();
1452     //                                  Point selection= fBrowserLikeLinksKeyModifierText.getSelection();
1453     //                                  int i= selection.x - 1;
1454     //                                  while (i > -1 && Character.isWhitespace(modifierString.charAt(i))) {
1455     //                                          i--;
1456     //                                  }
1457     //                                  boolean needsPrefixDelimiter= i > -1 &&
1458     // !String.valueOf(modifierString.charAt(i)).equals(DELIMITER);
1459     //
1460     //                                  i= selection.y;
1461     //                                  while (i < modifierString.length() &&
1462     // Character.isWhitespace(modifierString.charAt(i))) {
1463     //                                          i++;
1464     //                                  }
1465     //                                  boolean needsPostfixDelimiter= i < modifierString.length() &&
1466     // !String.valueOf(modifierString.charAt(i)).equals(DELIMITER);
1467     //
1468     //                                  String insertString;
1469     //
1470     //                                  if (needsPrefixDelimiter && needsPostfixDelimiter)
1471     //                                          insertString=
1472     // PreferencesMessages.getFormattedString("JavaEditorPreferencePage.navigation.insertDelimiterAndModifierAndDelimiter",
1473     // new String[] {Action.findModifierString(e.stateMask)}); //$NON-NLS-1$
1474     //                                  else if (needsPrefixDelimiter)
1475     //                                          insertString=
1476     // PreferencesMessages.getFormattedString("JavaEditorPreferencePage.navigation.insertDelimiterAndModifier",
1477     // new String[] {Action.findModifierString(e.stateMask)}); //$NON-NLS-1$
1478     //                                  else if (needsPostfixDelimiter)
1479     //                                          insertString=
1480     // PreferencesMessages.getFormattedString("JavaEditorPreferencePage.navigation.insertModifierAndDelimiter",
1481     // new String[] {Action.findModifierString(e.stateMask)}); //$NON-NLS-1$
1482     //                                  else
1483     //                                          insertString= Action.findModifierString(e.stateMask);
1484     //
1485     //                                  fBrowserLikeLinksKeyModifierText.insert(insertString);
1486     //                          }
1487     //                  }
1488     //          });
1489     //
1490     //          fBrowserLikeLinksKeyModifierText.addModifyListener(new ModifyListener()
1491     // {
1492     //                  public void modifyText(ModifyEvent e) {
1493     //                          handleBrowserLikeLinksKeyModifierModified();
1494     //                  }
1495     //          });
1496     return composite;
1497   }
1498
1499   private void handleBrowserLikeLinksKeyModifierModified() {
1500     //          String modifiers= fBrowserLikeLinksKeyModifierText.getText();
1501     //          int stateMask= computeStateMask(modifiers);
1502     //          if (fBrowserLikeLinksCheckBox.getSelection() && (stateMask == -1 ||
1503     // (stateMask & SWT.SHIFT) != 0)) {
1504     //                  if (stateMask == -1)
1505     //                          fBrowserLikeLinksKeyModifierStatus= new StatusInfo(IStatus.ERROR,
1506     // PreferencesMessages.getFormattedString("JavaEditorPreferencePage.navigation.modifierIsNotValid",
1507     // modifiers)); //$NON-NLS-1$
1508     //                  else
1509     //                          fBrowserLikeLinksKeyModifierStatus= new StatusInfo(IStatus.ERROR,
1510     // PreferencesMessages.getString("JavaEditorPreferencePage.navigation.shiftIsDisabled"));
1511     // //$NON-NLS-1$
1512     //                  setValid(false);
1513     //                  StatusUtil.applyToStatusLine(this, fBrowserLikeLinksKeyModifierStatus);
1514     //          } else {
1515     //                  fBrowserLikeLinksKeyModifierStatus= new StatusInfo();
1516     //                  updateStatus(fBrowserLikeLinksKeyModifierStatus);
1517     //          }
1518   }
1519
1520   //    private IStatus getBrowserLikeLinksKeyModifierStatus() {
1521   //            if (fBrowserLikeLinksKeyModifierStatus == null)
1522   //            fBrowserLikeLinksKeyModifierStatus= new StatusInfo();
1523   //            return fBrowserLikeLinksKeyModifierStatus;
1524   //    }
1525   /**
1526    * Computes the state mask for the given modifier string.
1527    * 
1528    * @param modifiers
1529    *          the string with the modifiers, separated by '+', '-', ';', ',' or
1530    *          '.'
1531    * @return the state mask or -1 if the input is invalid
1532    */
1533   private int computeStateMask(String modifiers) {
1534     if (modifiers == null)
1535       return -1;
1536     if (modifiers.length() == 0)
1537       return SWT.NONE;
1538     int stateMask = 0;
1539     StringTokenizer modifierTokenizer = new StringTokenizer(modifiers,
1540         ",;.:+-* "); //$NON-NLS-1$
1541     while (modifierTokenizer.hasMoreTokens()) {
1542       int modifier = EditorUtility.findLocalizedModifier(modifierTokenizer
1543           .nextToken());
1544       if (modifier == 0 || (stateMask & modifier) == modifier)
1545         return -1;
1546       stateMask = stateMask | modifier;
1547     }
1548     return stateMask;
1549   }
1550
1551   /*
1552    * @see PreferencePage#createContents(Composite)
1553    */
1554   protected Control createContents(Composite parent) {
1555     initializeDefaultColors();
1556     fFoldingConfigurationBlock = new FoldingConfigurationBlock(fOverlayStore);
1557     fOverlayStore.load();
1558     fOverlayStore.start();
1559     TabFolder folder = new TabFolder(parent, SWT.NONE);
1560     folder.setLayout(new TabFolderLayout());
1561     folder.setLayoutData(new GridData(GridData.FILL_BOTH));
1562     TabItem item = new TabItem(folder, SWT.NONE);
1563     item.setText(PreferencesMessages
1564         .getString("JavaEditorPreferencePage.general")); //$NON-NLS-1$
1565     item.setControl(createAppearancePage(folder));
1566     item = new TabItem(folder, SWT.NONE);
1567     item.setText(PreferencesMessages
1568         .getString("JavaEditorPreferencePage.colors")); //$NON-NLS-1$
1569     item.setControl(createSyntaxPage(folder));
1570
1571     //    item = new TabItem(folder, SWT.NONE);
1572     //    item.setText(PreferencesMessages
1573     //        .getString("JavaEditorPreferencePage.annotationsTab.title"));
1574     // //$NON-NLS-1$
1575     //    item.setControl(createAnnotationsPage(folder));
1576     item = new TabItem(folder, SWT.NONE);
1577     item.setText(PreferencesMessages
1578         .getString("JavaEditorPreferencePage.typing.tabTitle"));
1579     //$NON-NLS-1$
1580     item.setControl(createTypingPage(folder));
1581
1582     item = new TabItem(folder, SWT.NONE);
1583     item.setText(PreferencesMessages
1584         .getString("JavaEditorPreferencePage.hoverTab.title"));
1585     //$NON-NLS-1$
1586     fJavaEditorHoverConfigurationBlock = new JavaEditorHoverConfigurationBlock(
1587         this, fOverlayStore);
1588     item.setControl(fJavaEditorHoverConfigurationBlock.createControl(folder));
1589     //                  item= new TabItem(folder, SWT.NONE);
1590     //                  item.setText(PreferencesMessages.getString("JavaEditorPreferencePage.navigationTab.title"));
1591     // //$NON-NLS-1$
1592     //                  item.setControl(createNavigationPage(folder));
1593     item = new TabItem(folder, SWT.NONE);
1594     item.setText(PreferencesMessages
1595         .getString("JavaEditorPreferencePage.folding.title")); //$NON-NLS-1$
1596     item.setControl(fFoldingConfigurationBlock.createControl(folder));
1597
1598     initialize();
1599     Dialog.applyDialogFont(folder);
1600     return folder;
1601   }
1602
1603   private void initialize() {
1604     initializeFields();
1605     for (int i = 0; i < fSyntaxColorListModel.length; i++)
1606       fSyntaxColorList.add(fSyntaxColorListModel[i][0]);
1607     fSyntaxColorList.getDisplay().asyncExec(new Runnable() {
1608       public void run() {
1609         if (fSyntaxColorList != null && !fSyntaxColorList.isDisposed()) {
1610           fSyntaxColorList.select(0);
1611           handleSyntaxColorListSelection();
1612         }
1613       }
1614     });
1615     for (int i = 0; i < fAppearanceColorListModel.length; i++)
1616       fAppearanceColorList.add(fAppearanceColorListModel[i][0]);
1617     fAppearanceColorList.getDisplay().asyncExec(new Runnable() {
1618       public void run() {
1619         if (fAppearanceColorList != null && !fAppearanceColorList.isDisposed()) {
1620           fAppearanceColorList.select(0);
1621           handleAppearanceColorListSelection();
1622         }
1623       }
1624     });
1625     //    for (int i = 0; i < fAnnotationColorListModel.length; i++)
1626     //      fAnnotationList.add(fAnnotationColorListModel[i][0]);
1627     //    fAnnotationList.getDisplay().asyncExec(new Runnable() {
1628     //      public void run() {
1629     //        if (fAnnotationList != null && !fAnnotationList.isDisposed()) {
1630     //          fAnnotationList.select(0);
1631     //          handleAnnotationListSelection();
1632     //        }
1633     //      }
1634     //    });
1635     //          for (int i= 0; i < fContentAssistColorListModel.length; i++)
1636     //                  fContentAssistColorList.add(fContentAssistColorListModel[i][0]);
1637     //          fContentAssistColorList.getDisplay().asyncExec(new Runnable() {
1638     //                  public void run() {
1639     //                          if (fContentAssistColorList != null &&
1640     // !fContentAssistColorList.isDisposed()) {
1641     //                                  fContentAssistColorList.select(0);
1642     //                                  handleContentAssistColorListSelection();
1643     //                          }
1644     //                  }
1645     //          });
1646     fFoldingConfigurationBlock.initialize();
1647   }
1648
1649   private void initializeFields() {
1650     Iterator e = fColorButtons.keySet().iterator();
1651     while (e.hasNext()) {
1652       ColorEditor c = (ColorEditor) e.next();
1653       String key = (String) fColorButtons.get(c);
1654       RGB rgb = PreferenceConverter.getColor(fOverlayStore, key);
1655       c.setColorValue(rgb);
1656     }
1657     e = fCheckBoxes.keySet().iterator();
1658     while (e.hasNext()) {
1659       Button b = (Button) e.next();
1660       String key = (String) fCheckBoxes.get(b);
1661       b.setSelection(fOverlayStore.getBoolean(key));
1662     }
1663     e = fTextFields.keySet().iterator();
1664     while (e.hasNext()) {
1665       Text t = (Text) e.next();
1666       String key = (String) fTextFields.get(t);
1667       t.setText(fOverlayStore.getString(key));
1668     }
1669     RGB rgb = PreferenceConverter.getColor(fOverlayStore,
1670         PreferenceConstants.EDITOR_BACKGROUND_COLOR);
1671     fBackgroundColorEditor.setColorValue(rgb);
1672     boolean default_ = fOverlayStore
1673         .getBoolean(PreferenceConstants.EDITOR_BACKGROUND_DEFAULT_COLOR);
1674     fBackgroundDefaultRadioButton.setSelection(default_);
1675     fBackgroundCustomRadioButton.setSelection(!default_);
1676     fBackgroundColorButton.setEnabled(!default_);
1677 //    boolean closeJavaDocs = fOverlayStore
1678 //        .getBoolean(PreferenceConstants.EDITOR_CLOSE_JAVADOCS);
1679 //    fAddJavaDocTagsButton.setEnabled(closeJavaDocs);
1680 //    fEscapeStringsButton.setEnabled(fOverlayStore
1681 //        .getBoolean(PreferenceConstants.EDITOR_WRAP_STRINGS));
1682     //          boolean fillMethodArguments=
1683     // fOverlayStore.getBoolean(PreferenceConstants.CODEASSIST_FILL_ARGUMENT_NAMES);
1684     //          fGuessMethodArgumentsButton.setEnabled(fillMethodArguments);
1685     //          boolean completionInserts=
1686     // fOverlayStore.getBoolean(PreferenceConstants.CODEASSIST_INSERT_COMPLETION);
1687     //          fCompletionInsertsRadioButton.setSelection(completionInserts);
1688     //          fCompletionOverwritesRadioButton.setSelection(! completionInserts);
1689     //          
1690     //          fBrowserLikeLinksKeyModifierText.setEnabled(fBrowserLikeLinksCheckBox.getSelection());
1691     //          boolean markOccurrences=
1692     // fOverlayStore.getBoolean(PreferenceConstants.EDITOR_MARK_OCCURRENCES);
1693     //          fStickyOccurrencesButton.setEnabled(markOccurrences);
1694     updateAutoactivationControls();
1695   }
1696
1697   private void initializeDefaultColors() {
1698     if (!getPreferenceStore().contains(
1699         PreferenceConstants.EDITOR_BACKGROUND_COLOR)) {
1700       RGB rgb = getControl().getDisplay().getSystemColor(
1701           SWT.COLOR_LIST_BACKGROUND).getRGB();
1702       PreferenceConverter.setDefault(fOverlayStore,
1703           PreferenceConstants.EDITOR_BACKGROUND_COLOR, rgb);
1704       PreferenceConverter.setDefault(getPreferenceStore(),
1705           PreferenceConstants.EDITOR_BACKGROUND_COLOR, rgb);
1706     }
1707     if (!getPreferenceStore().contains(
1708         PreferenceConstants.EDITOR_FOREGROUND_COLOR)) {
1709       RGB rgb = getControl().getDisplay().getSystemColor(
1710           SWT.COLOR_LIST_FOREGROUND).getRGB();
1711       PreferenceConverter.setDefault(fOverlayStore,
1712           PreferenceConstants.EDITOR_FOREGROUND_COLOR, rgb);
1713       PreferenceConverter.setDefault(getPreferenceStore(),
1714           PreferenceConstants.EDITOR_FOREGROUND_COLOR, rgb);
1715     }
1716   }
1717
1718   private void updateAutoactivationControls() {
1719     //        boolean autoactivation=
1720     // fOverlayStore.getBoolean(PreferenceConstants.CODEASSIST_AUTOACTIVATION);
1721     //        fAutoInsertDelayText.setEnabled(autoactivation);
1722     //          fAutoInsertDelayLabel.setEnabled(autoactivation);
1723     //        fAutoInsertJavaTriggerText.setEnabled(autoactivation);
1724     //          fAutoInsertJavaTriggerLabel.setEnabled(autoactivation);
1725     //
1726     //        fAutoInsertJavaDocTriggerText.setEnabled(autoactivation);
1727     //          fAutoInsertJavaDocTriggerLabel.setEnabled(autoactivation);
1728   }
1729
1730   /*
1731    * @see PreferencePage#performOk()
1732    */
1733   public boolean performOk() {
1734     //          fJavaEditorHoverConfigurationBlock.performOk();
1735     fFoldingConfigurationBlock.performOk();
1736     //          fOverlayStore.setValue(PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS_KEY_MODIFIER_MASK,
1737     // computeStateMask(fBrowserLikeLinksKeyModifierText.getText()));
1738     fOverlayStore.propagate();
1739     PHPeclipsePlugin.getDefault().savePluginPreferences();
1740     return true;
1741   }
1742
1743   /*
1744    * @see PreferencePage#performDefaults()
1745    */
1746   protected void performDefaults() {
1747     fOverlayStore.loadDefaults();
1748     initializeFields();
1749     handleSyntaxColorListSelection();
1750     handleAppearanceColorListSelection();
1751     //    handleAnnotationListSelection();
1752     //          handleContentAssistColorListSelection();
1753     //          fJavaEditorHoverConfigurationBlock.performDefaults();
1754     fFoldingConfigurationBlock.performDefaults();
1755     super.performDefaults();
1756     fPreviewViewer.invalidateTextPresentation();
1757   }
1758
1759   /*
1760    * @see DialogPage#dispose()
1761    */
1762   public void dispose() {
1763     fFoldingConfigurationBlock.dispose();
1764
1765     if (fJavaTextTools != null) {
1766       fJavaTextTools.dispose();
1767       fJavaTextTools = null;
1768     }
1769     if (fOverlayStore != null) {
1770       fOverlayStore.stop();
1771       fOverlayStore = null;
1772     }
1773     if (fBackgroundColor != null && !fBackgroundColor.isDisposed())
1774       fBackgroundColor.dispose();
1775     super.dispose();
1776   }
1777
1778   private Button addCheckBox(Composite parent, String label, String key,
1779       int indentation) {
1780     Button checkBox = new Button(parent, SWT.CHECK);
1781     checkBox.setText(label);
1782     GridData gd = new GridData(GridData.HORIZONTAL_ALIGN_BEGINNING);
1783     gd.horizontalIndent = indentation;
1784     gd.horizontalSpan = 2;
1785     checkBox.setLayoutData(gd);
1786     checkBox.addSelectionListener(fCheckBoxListener);
1787     fCheckBoxes.put(checkBox, key);
1788     return checkBox;
1789   }
1790
1791   private Text addTextField(Composite composite, String label, String key,
1792       int textLimit, int indentation, boolean isNumber) {
1793     return getTextControl(addLabelledTextField(composite, label, key,
1794         textLimit, indentation, isNumber));
1795   }
1796
1797   private static Label getLabelControl(Control[] labelledTextField) {
1798     return (Label) labelledTextField[0];
1799   }
1800
1801   private static Text getTextControl(Control[] labelledTextField) {
1802     return (Text) labelledTextField[1];
1803   }
1804
1805   /**
1806    * Returns an array of size 2: - first element is of type <code>Label</code>-
1807    * second element is of type <code>Text</code> Use
1808    * <code>getLabelControl</code> and <code>getTextControl</code> to get the
1809    * 2 controls.
1810    */
1811   private Control[] addLabelledTextField(Composite composite, String label,
1812       String key, int textLimit, int indentation, boolean isNumber) {
1813     Label labelControl = new Label(composite, SWT.NONE);
1814     labelControl.setText(label);
1815     GridData gd = new GridData(GridData.HORIZONTAL_ALIGN_BEGINNING);
1816     gd.horizontalIndent = indentation;
1817     labelControl.setLayoutData(gd);
1818     Text textControl = new Text(composite, SWT.BORDER | SWT.SINGLE);
1819     gd = new GridData(GridData.HORIZONTAL_ALIGN_BEGINNING);
1820     gd.widthHint = convertWidthInCharsToPixels(textLimit + 1);
1821     textControl.setLayoutData(gd);
1822     textControl.setTextLimit(textLimit);
1823     fTextFields.put(textControl, key);
1824     if (isNumber) {
1825       fNumberFields.add(textControl);
1826       textControl.addModifyListener(fNumberFieldListener);
1827     } else {
1828       textControl.addModifyListener(fTextFieldListener);
1829     }
1830     return new Control[] { labelControl, textControl };
1831   }
1832
1833   private String loadPreviewContentFromFile(String filename) {
1834     String line;
1835     String separator = System.getProperty("line.separator"); //$NON-NLS-1$
1836     StringBuffer buffer = new StringBuffer(512);
1837     BufferedReader reader = null;
1838     try {
1839       reader = new BufferedReader(new InputStreamReader(getClass()
1840           .getResourceAsStream(filename)));
1841       while ((line = reader.readLine()) != null) {
1842         buffer.append(line);
1843         buffer.append(separator);
1844       }
1845     } catch (IOException io) {
1846       PHPeclipsePlugin.log(io);
1847     } finally {
1848       if (reader != null) {
1849         try {
1850           reader.close();
1851         } catch (IOException e) {
1852         }
1853       }
1854     }
1855     return buffer.toString();
1856   }
1857
1858   private void numberFieldChanged(Text textControl) {
1859     String number = textControl.getText();
1860     IStatus status = validatePositiveNumber(number);
1861     if (!status.matches(IStatus.ERROR))
1862       fOverlayStore.setValue((String) fTextFields.get(textControl), number);
1863     updateStatus(status);
1864   }
1865
1866   private IStatus validatePositiveNumber(String number) {
1867     StatusInfo status = new StatusInfo();
1868     if (number.length() == 0) {
1869       status.setError(PreferencesMessages
1870           .getString("JavaEditorPreferencePage.empty_input")); //$NON-NLS-1$
1871     } else {
1872       try {
1873         int value = Integer.parseInt(number);
1874         if (value < 0)
1875           status.setError(PreferencesMessages.getFormattedString(
1876               "JavaEditorPreferencePage.invalid_input", number)); //$NON-NLS-1$
1877       } catch (NumberFormatException e) {
1878         status.setError(PreferencesMessages.getFormattedString(
1879             "JavaEditorPreferencePage.invalid_input", number)); //$NON-NLS-1$
1880       }
1881     }
1882     return status;
1883   }
1884
1885   void updateStatus(IStatus status) {
1886     if (!status.matches(IStatus.ERROR)) {
1887       for (int i = 0; i < fNumberFields.size(); i++) {
1888         Text text = (Text) fNumberFields.get(i);
1889         IStatus s = validatePositiveNumber(text.getText());
1890         status = StatusUtil.getMoreSevere(s, status);
1891       }
1892     }
1893     //          status=
1894     // StatusUtil.getMoreSevere(fJavaEditorHoverConfigurationBlock.getStatus(),
1895     // status);
1896     //          status= StatusUtil.getMoreSevere(getBrowserLikeLinksKeyModifierStatus(),
1897     // status);
1898     setValid(!status.matches(IStatus.ERROR));
1899     StatusUtil.applyToStatusLine(this, status);
1900   }
1901 }