added Spanish language in the page (why wasn't it ?)
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / PHPSyntaxEditorPreferencePage.java
1 package net.sourceforge.phpeclipse;
2
3 import java.util.HashMap;
4 import java.util.Iterator;
5 import java.util.Map;
6
7 import net.sourceforge.phpeclipse.preferences.ColorEditor;
8 import net.sourceforge.phpeclipse.preferences.OverlayPreferenceStore;
9 import net.sourceforge.phpeclipse.preferences.PHPPreferencesMessages;
10 import org.eclipse.core.runtime.IStatus;
11 import org.eclipse.jface.preference.BooleanFieldEditor;
12 import org.eclipse.jface.preference.FileFieldEditor;
13 import org.eclipse.jface.preference.IPreferenceStore;
14 import org.eclipse.jface.preference.PreferenceConverter;
15 import org.eclipse.jface.preference.PreferencePage;
16 import org.eclipse.jface.text.source.ISourceViewer;
17 import org.eclipse.swt.SWT;
18 import org.eclipse.swt.custom.StyledText;
19 import org.eclipse.swt.events.SelectionEvent;
20 import org.eclipse.swt.events.SelectionListener;
21 import org.eclipse.swt.graphics.Color;
22 import org.eclipse.swt.graphics.RGB;
23 import org.eclipse.swt.layout.GridData;
24 import org.eclipse.swt.layout.GridLayout;
25 import org.eclipse.swt.widgets.Button;
26 import org.eclipse.swt.widgets.Composite;
27 import org.eclipse.swt.widgets.Control;
28 import org.eclipse.swt.widgets.Display;
29 import org.eclipse.swt.widgets.Group;
30 import org.eclipse.swt.widgets.Label;
31 import org.eclipse.swt.widgets.List;
32 import org.eclipse.ui.IWorkbench;
33 import org.eclipse.ui.IWorkbenchPreferencePage;
34
35 /*
36  * The preference page for setting the PHP Editor options.
37  */
38 public class PHPSyntaxEditorPreferencePage extends PreferencePage implements IWorkbenchPreferencePage {
39
40   public final OverlayPreferenceStore.OverlayKey[] Keys =
41     new OverlayPreferenceStore.OverlayKey[] {
42       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING, IPreferenceConstants.PHP_MULTILINE_COMMENT),
43       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_MULTILINE_COMMENT_BOLD),
44       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_MULTILINE_COMMENT_ITALIC),
45       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_MULTILINE_COMMENT_UNDERLINE),
46       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING, IPreferenceConstants.PHP_SINGLELINE_COMMENT),
47       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_SINGLELINE_COMMENT_BOLD),
48       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_SINGLELINE_COMMENT_ITALIC),
49       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_SINGLELINE_COMMENT_UNDERLINE),
50       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING, IPreferenceConstants.PHP_KEYWORD),
51       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_KEYWORD_BOLD),
52       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_KEYWORD_ITALIC),
53       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_KEYWORD_UNDERLINE),
54       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING, IPreferenceConstants.PHP_VARIABLE),
55       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_VARIABLE_BOLD),
56       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_VARIABLE_ITALIC),
57       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_VARIABLE_UNDERLINE),
58       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING, IPreferenceConstants.PHP_TYPE),
59       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_TYPE_BOLD),
60       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_TYPE_ITALIC),
61       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_TYPE_UNDERLINE),
62       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING, IPreferenceConstants.PHP_CONSTANT),
63       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_CONSTANT_BOLD),
64       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_CONSTANT_ITALIC),
65       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_CONSTANT_UNDERLINE),
66       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING, IPreferenceConstants.PHP_FUNCTIONNAME),
67       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_FUNCTIONNAME_BOLD),
68       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_FUNCTIONNAME_ITALIC),
69       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_FUNCTIONNAME_UNDERLINE),
70       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING, IPreferenceConstants.PHP_STRING),
71       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_STRING_BOLD),
72       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_STRING_ITALIC),
73       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_STRING_UNDERLINE),
74       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING, IPreferenceConstants.PHP_DEFAULT),
75       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_DEFAULT_BOLD),
76       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_DEFAULT_ITALIC),
77       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, IPreferenceConstants.PHP_DEFAULT_UNDERLINE),
78       new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING, IPreferenceConstants.PHP_USERDEF_XMLFILE)};
79
80   private final String[][] SyntaxColorListModel =
81     new String[][] {
82       {
83         PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.multiLineComment"),
84         IPreferenceConstants.PHP_MULTILINE_COMMENT },
85       {
86       PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.singleLineComment"),
87         IPreferenceConstants.PHP_SINGLELINE_COMMENT },
88         {
89       PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.keywords"), IPreferenceConstants.PHP_KEYWORD }, {
90       PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.variables"), IPreferenceConstants.PHP_VARIABLE }, {
91       PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.types"), IPreferenceConstants.PHP_TYPE }, {
92       PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.functions"), IPreferenceConstants.PHP_FUNCTIONNAME }, {
93       PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.constants"), IPreferenceConstants.PHP_CONSTANT }, {
94       PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.strings"), IPreferenceConstants.PHP_STRING }, {
95       PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.others"), IPreferenceConstants.PHP_DEFAULT }
96   };
97
98   private OverlayPreferenceStore OverlayStore;
99
100   private Map ColorButtons = new HashMap();
101   private SelectionListener ColorButtonListener = new SelectionListener() {
102     public void widgetDefaultSelected(SelectionEvent e) {
103     }
104     public void widgetSelected(SelectionEvent e) {
105       ColorEditor editor = (ColorEditor) e.widget.getData();
106       PreferenceConverter.setValue(OverlayStore, (String) ColorButtons.get(editor), editor.getColorValue());
107     }
108   };
109
110   private Map CheckBoxes = new HashMap();
111   private SelectionListener CheckBoxListener = new SelectionListener() {
112     public void widgetDefaultSelected(SelectionEvent e) {
113     }
114     public void widgetSelected(SelectionEvent e) {
115       Button button = (Button) e.widget;
116       OverlayStore.setValue((String) CheckBoxes.get(button), button.getSelection());
117     }
118   };
119
120   private List SyntaxColorList;
121   private ColorEditor SyntaxForegroundColorEditor;
122   private Button BoldCheckBox;
123   private Button ItalicCheckBox;
124   private Button UnderlineCheckBox;
125   private FileFieldEditor userdefPHPSyntaxFileFFE;
126
127   public PHPSyntaxEditorPreferencePage() {
128     setDescription(PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.description")); //$NON-NLS-1$
129     setPreferenceStore(PHPeclipsePlugin.getDefault().getPreferenceStore());
130     OverlayStore = new OverlayPreferenceStore(getPreferenceStore(), Keys);
131   }
132
133   public void init(IWorkbench workbench) {
134   }
135
136   public void createControl(Composite parent) {
137     super.createControl(parent);
138   }
139
140   private void handleSyntaxColorListSelection() {
141     int i = SyntaxColorList.getSelectionIndex();
142     String key = SyntaxColorListModel[i][1];
143     RGB rgb = PreferenceConverter.getColor(OverlayStore, key);
144     SyntaxForegroundColorEditor.setColorValue(rgb);
145     BoldCheckBox.setSelection(OverlayStore.getBoolean(key + "_bold"));
146     ItalicCheckBox.setSelection(OverlayStore.getBoolean(key + "_italic"));
147     UnderlineCheckBox.setSelection(OverlayStore.getBoolean(key + "_underline"));
148   }
149
150   private Control createSyntaxPage(Composite parent) {
151
152     Composite colorComposite = new Composite(parent, SWT.NULL);
153     colorComposite.setLayout(new GridLayout());
154
155     Label label = new Label(colorComposite, SWT.LEFT);
156     label.setText(PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.syntax")); //$NON-NLS-1$
157     label.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
158
159     Composite editorComposite = new Composite(colorComposite, SWT.NONE);
160     GridLayout layout = new GridLayout();
161     layout.numColumns = 2;
162     layout.marginHeight = 0;
163     layout.marginWidth = 0;
164     editorComposite.setLayout(layout);
165     GridData gd = new GridData(GridData.FILL_BOTH);
166     editorComposite.setLayoutData(gd);
167
168     SyntaxColorList = new List(editorComposite, SWT.SINGLE | SWT.V_SCROLL | SWT.BORDER);
169     gd = new GridData(GridData.FILL_BOTH);
170     gd.heightHint = convertHeightInCharsToPixels(5);
171     SyntaxColorList.setLayoutData(gd);
172
173     Composite stylesComposite = new Composite(editorComposite, SWT.NONE);
174     layout = new GridLayout();
175     layout.marginHeight = 0;
176     layout.marginWidth = 0;
177     layout.numColumns = 2;
178     stylesComposite.setLayout(layout);
179     stylesComposite.setLayoutData(new GridData(GridData.FILL_BOTH));
180
181     label = new Label(stylesComposite, SWT.LEFT);
182     label.setText(PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.color")); //$NON-NLS-1$
183     gd = new GridData();
184     gd.horizontalAlignment = GridData.BEGINNING;
185     label.setLayoutData(gd);
186
187     SyntaxForegroundColorEditor = new ColorEditor(stylesComposite);
188     Button foregroundColorButton = SyntaxForegroundColorEditor.getButton();
189     gd = new GridData(GridData.FILL_HORIZONTAL);
190     gd.horizontalAlignment = GridData.BEGINNING;
191     foregroundColorButton.setLayoutData(gd);
192
193     BoldCheckBox = new Button(stylesComposite, SWT.CHECK);
194     BoldCheckBox.setText(PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.bold")); //$NON-NLS-1$
195     gd = new GridData(GridData.FILL_HORIZONTAL);
196     gd.horizontalAlignment = GridData.BEGINNING;
197     gd.horizontalSpan = 2;
198     BoldCheckBox.setLayoutData(gd);
199
200     ItalicCheckBox = new Button(stylesComposite, SWT.CHECK);
201     ItalicCheckBox.setText(PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.italic")); //$NON-NLS-1$
202     ItalicCheckBox.setEnabled(false);
203     gd = new GridData(GridData.FILL_HORIZONTAL);
204     gd.horizontalAlignment = GridData.BEGINNING;
205     gd.horizontalSpan = 2;
206     ItalicCheckBox.setLayoutData(gd);
207
208     UnderlineCheckBox = new Button(stylesComposite, SWT.CHECK);
209     UnderlineCheckBox.setText(PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.underline")); //$NON-NLS-1$
210     UnderlineCheckBox.setEnabled(false);
211     gd = new GridData(GridData.FILL_HORIZONTAL);
212     gd.horizontalAlignment = GridData.BEGINNING;
213     gd.horizontalSpan = 2;
214     UnderlineCheckBox.setLayoutData(gd);
215
216     Composite customSyntaxComposite = new Composite(colorComposite, SWT.NONE);
217     layout = new GridLayout();
218     layout.marginHeight = 0;
219     layout.marginWidth = 0;
220     layout.numColumns = 3;
221     stylesComposite.setLayout(layout);
222     stylesComposite.setLayoutData(new GridData(GridData.FILL_BOTH));
223
224     userdefPHPSyntaxFileFFE =
225       new FileFieldEditor(
226         IPreferenceConstants.PHP_USERDEF_XMLFILE,
227         PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.syntaxdialog"),
228         colorComposite);
229     userdefPHPSyntaxFileFFE.setPreferencePage(this);
230     userdefPHPSyntaxFileFFE.setPreferenceStore(getPreferenceStore());
231     userdefPHPSyntaxFileFFE.load();
232
233     SyntaxColorList.addSelectionListener(new SelectionListener() {
234       public void widgetDefaultSelected(SelectionEvent e) {
235         // do nothing
236       }
237       public void widgetSelected(SelectionEvent e) {
238         handleSyntaxColorListSelection();
239       }
240     });
241
242     foregroundColorButton.addSelectionListener(new SelectionListener() {
243       public void widgetDefaultSelected(SelectionEvent e) {
244         // do nothing
245       }
246       public void widgetSelected(SelectionEvent e) {
247         int i = SyntaxColorList.getSelectionIndex();
248         String key = SyntaxColorListModel[i][1];
249
250         PreferenceConverter.setValue(OverlayStore, key, SyntaxForegroundColorEditor.getColorValue());
251       }
252     });
253     BoldCheckBox.addSelectionListener(new SelectionListener() {
254       public void widgetDefaultSelected(SelectionEvent e) {
255         // do nothing
256       }
257       public void widgetSelected(SelectionEvent e) {
258         int i = SyntaxColorList.getSelectionIndex();
259         String key = SyntaxColorListModel[i][1];
260         OverlayStore.setValue(key + "_bold", BoldCheckBox.getSelection());
261       }
262     });
263
264     ItalicCheckBox.addSelectionListener(new SelectionListener() {
265       public void widgetDefaultSelected(SelectionEvent e) {
266         // do nothing
267       }
268       public void widgetSelected(SelectionEvent e) {
269         int i = SyntaxColorList.getSelectionIndex();
270         String key = SyntaxColorListModel[i][1];
271         OverlayStore.setValue(key + "_italic", ItalicCheckBox.getSelection());
272       }
273     });
274
275     UnderlineCheckBox.addSelectionListener(new SelectionListener() {
276       public void widgetDefaultSelected(SelectionEvent e) {
277         // do nothing
278       }
279       public void widgetSelected(SelectionEvent e) {
280         int i = SyntaxColorList.getSelectionIndex();
281         String key = SyntaxColorListModel[i][1];
282         OverlayStore.setValue(key + "_underline", UnderlineCheckBox.getSelection());
283       }
284     });
285     return colorComposite;
286   }
287
288   private void initializeViewerColors(ISourceViewer viewer) {
289
290     IPreferenceStore store = OverlayStore;
291     if (store != null) {
292
293       StyledText styledText = viewer.getTextWidget();
294     }
295   }
296
297   private Color createColor(IPreferenceStore store, String key, Display display) {
298     RGB rgb = null;
299     if (store.contains(key)) {
300       if (store.isDefault(key))
301         rgb = PreferenceConverter.getDefaultColor(store, key);
302       else
303         rgb = PreferenceConverter.getColor(store, key);
304       if (rgb != null)
305         return new Color(display, rgb);
306     }
307     return null;
308   }
309
310   private static void setEnabled(Control control, boolean enable) {
311     control.setEnabled(enable);
312     if (control instanceof Composite) {
313       Composite composite = (Composite) control;
314       Control[] children = composite.getChildren();
315       for (int i = 0; i < children.length; i++)
316         setEnabled(children[i], enable);
317     }
318   }
319
320   private static void indent(Control control) {
321     GridData gridData = new GridData();
322     gridData.horizontalIndent = 20;
323     control.setLayoutData(gridData);
324   }
325
326   private static void createDependency(final Button master, final Control slave) {
327     indent(slave);
328     master.addSelectionListener(new SelectionListener() {
329       public void widgetSelected(SelectionEvent e) {
330         slave.setEnabled(master.getSelection());
331       }
332
333       public void widgetDefaultSelected(SelectionEvent e) {
334       }
335     });
336   }
337
338   protected Control createContents(Composite parent) {
339     OverlayStore.load();
340     OverlayStore.start();
341     //Create overall composite
342     Composite composite = new Composite(parent, SWT.NONE);
343     GridLayout layout = new GridLayout();
344     layout.marginHeight = 0;
345     layout.marginWidth = 0;
346     composite.setLayout(layout);
347     Composite syntaxComposite = new Composite(composite, SWT.NULL);
348     syntaxComposite.setLayout(new GridLayout());
349     layout = new GridLayout();
350     layout.numColumns = 3;
351     Group syntaxGroup = new Group(syntaxComposite, SWT.NONE);
352     syntaxGroup.setText(PHPPreferencesMessages.getString("PHPEditorSyntaxPreferencePage.foreground"));
353     syntaxGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
354     syntaxGroup.setLayout(layout);
355     createSyntaxPage(syntaxGroup);
356
357     initialize();
358     return composite;
359   }
360
361   private void initialize() {
362     initializeFields();
363     for (int i = 0; i < SyntaxColorListModel.length; i++)
364       SyntaxColorList.add(SyntaxColorListModel[i][0]);
365     SyntaxColorList.getDisplay().asyncExec(new Runnable() {
366       public void run() {
367         if (SyntaxColorList != null && !SyntaxColorList.isDisposed()) {
368           SyntaxColorList.select(0);
369           handleSyntaxColorListSelection();
370         }
371       }
372     });
373   }
374
375   private void initializeFields() {
376
377     Iterator e = ColorButtons.keySet().iterator();
378     while (e.hasNext()) {
379       ColorEditor c = (ColorEditor) e.next();
380       String key = (String) ColorButtons.get(c);
381       RGB rgb = PreferenceConverter.getColor(OverlayStore, key);
382       c.setColorValue(rgb);
383     }
384
385     e = CheckBoxes.keySet().iterator();
386     while (e.hasNext()) {
387       Button b = (Button) e.next();
388       String key = (String) CheckBoxes.get(b);
389       b.setSelection(OverlayStore.getBoolean(key));
390     }
391   }
392
393   public boolean performOk() {
394     OverlayStore.propagate();
395     IPreferenceStore store = getPreferenceStore();
396     PHPeclipsePlugin.getDefault().savePluginPreferences();
397     userdefPHPSyntaxFileFFE.store();
398     return true;
399   }
400
401   protected void performDefaults() {
402     OverlayStore.loadDefaults();
403     initializeFields();
404     handleSyntaxColorListSelection();
405     userdefPHPSyntaxFileFFE.loadDefault();
406     super.performDefaults();
407   }
408
409   public void dispose() {
410     if (OverlayStore != null) {
411       OverlayStore.stop();
412       OverlayStore = null;
413     }
414     super.dispose();
415   }
416
417   private Control addColorButton(Composite composite, String label, String key, int indentation) {
418     Label labelControl = new Label(composite, SWT.NONE);
419     labelControl.setText(label);
420     GridData gd = new GridData(GridData.HORIZONTAL_ALIGN_BEGINNING);
421     gd.horizontalIndent = indentation;
422     labelControl.setLayoutData(gd);
423     ColorEditor editor = new ColorEditor(composite);
424     Button button = editor.getButton();
425     button.setData(editor);
426     gd = new GridData(GridData.HORIZONTAL_ALIGN_BEGINNING);
427     button.setLayoutData(gd);
428     button.addSelectionListener(ColorButtonListener);
429     ColorButtons.put(editor, key);
430     return composite;
431   }
432
433   private Button addCheckBox(Composite parent, String label, String key, int indentation) {
434     Button checkBox = new Button(parent, SWT.CHECK);
435     checkBox.setText(label);
436     GridData gd = new GridData(GridData.HORIZONTAL_ALIGN_BEGINNING);
437     gd.horizontalIndent = indentation;
438     gd.horizontalSpan = 2;
439     checkBox.setLayoutData(gd);
440     checkBox.addSelectionListener(CheckBoxListener);
441     CheckBoxes.put(checkBox, key);
442     return checkBox;
443   }
444
445   private void updateStatus(IStatus status) {
446   }
447
448   /**
449    * @deprecated Inline to avoid reference to preference page
450    */
451   public static boolean indicateQuixFixableProblems() {
452     //          return PreferenceConstants.getPreferenceStore().getBoolean(PreferenceConstants.EDITOR_CORRECTION_INDICATION);
453     return false;
454   }
455
456   /**
457    * @deprecated Inline to avoid reference to preference page
458    */
459   static public boolean synchronizeOutlineOnCursorMove() {
460     //          return PreferenceConstants.getPreferenceStore().getBoolean(PreferenceConstants.EDITOR_SYNC_OUTLINE_ON_CURSOR_MOVE);
461     return false;
462   }
463
464 }