|
1
|
// $Id$
|
|
2
|
/**
|
|
3
|
* Copyright (C) 2016 EDIT
|
|
4
|
* European Distributed Institute of Taxonomy
|
|
5
|
* http://www.e-taxonomy.eu
|
|
6
|
*
|
|
7
|
* The contents of this file are subject to the Mozilla Public License Version 1.1
|
|
8
|
* See LICENSE.TXT at the top of this package for the full license terms.
|
|
9
|
*/
|
|
10
|
package eu.etaxonomy.taxeditor.preference;
|
|
11
|
|
|
12
|
import org.eclipse.jface.preference.BooleanFieldEditor;
|
|
13
|
import org.eclipse.jface.preference.FieldEditorPreferencePage;
|
|
14
|
import org.eclipse.ui.IWorkbench;
|
|
15
|
import org.eclipse.ui.IWorkbenchPreferencePage;
|
|
16
|
|
|
17
|
/**
|
|
18
|
* @author k.luther
|
|
19
|
* @date 01.04.2016
|
|
20
|
*
|
|
21
|
*/
|
|
22
|
public class DebugPreferences extends FieldEditorPreferencePage implements IWorkbenchPreferencePage {
|
|
23
|
|
|
24
|
/* (non-Javadoc)
|
|
25
|
* @see org.eclipse.ui.IWorkbenchPreferencePage#init(org.eclipse.ui.IWorkbench)
|
|
26
|
*/
|
|
27
|
@Override
|
|
28
|
public void init(IWorkbench workbench) {
|
|
29
|
setPreferenceStore(PreferencesUtil.getPreferenceStore());
|
|
30
|
|
|
31
|
}
|
|
32
|
|
|
33
|
/* (non-Javadoc)
|
|
34
|
* @see org.eclipse.jface.preference.FieldEditorPreferencePage#createFieldEditors()
|
|
35
|
*/
|
|
36
|
@Override
|
|
37
|
protected void createFieldEditors() {
|
|
38
|
addField(new BooleanFieldEditor(IPreferenceKeys.IS_SHOW_UP_WIDGET_IS_DISPOSED,
|
|
39
|
"Show up widget is disposed error messages.",
|
|
40
|
getFieldEditorParent()));
|
|
41
|
addField(new BooleanFieldEditor(IPreferenceKeys.DISABLE_SERVICES_API_TIMESTAMP_CHECK,
|
|
42
|
"Disable services api timestamp check",
|
|
43
|
getFieldEditorParent()));
|
|
44
|
|
|
45
|
}
|
|
46
|
|
|
47
|
}
|