1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
/*******************************************************************************
* Copyright (c) 2014 Red Hat.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* Red Hat - Initial Contribution
*******************************************************************************/
package org.eclipse.linuxtools.internal.docker.ui.preferences;
import org.eclipse.jface.layout.GridDataFactory;
import org.eclipse.jface.layout.GridLayoutFactory;
import org.eclipse.jface.preference.IntegerFieldEditor;
import org.eclipse.jface.preference.PreferencePage;
import org.eclipse.jface.preference.PreferenceStore;
import org.eclipse.jface.preference.StringFieldEditor;
import org.eclipse.jface.util.IPropertyChangeListener;
import org.eclipse.jface.util.PropertyChangeEvent;
import org.eclipse.linuxtools.docker.ui.Activator;
import org.eclipse.linuxtools.internal.docker.core.DockerContainerRefreshManager;
import org.eclipse.swt.SWT;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Control;
import org.eclipse.ui.IWorkbench;
import org.eclipse.ui.IWorkbenchPreferencePage;
public class DockerPreferencePage extends PreferencePage implements
IWorkbenchPreferencePage {
private static final String REFRESH_TIME_MSG = "RefreshTime.label"; //$NON-NLS-1$
private IntegerFieldEditor refreshTimeField;
public DockerPreferencePage() {
super();
setPreferenceStore(Activator.getDefault().getPreferenceStore());
}
/**
* (non-Javadoc)
*
* @see org.eclipse.ui.IWorkbenchPreferencePage#init(org.eclipse.ui.IWorkbench)
*
* @see PreferenceInitializer
*/
@Override
public void init(final IWorkbench workbench) {
}
/**
* Saves the current values in the {@link PreferenceStore}.
*/
private void savePreferences() {
if (this.refreshTimeField != null) {
this.refreshTimeField.store();
}
}
@Override
public boolean performOk() {
savePreferences();
return true;
}
@Override
protected void performApply() {
savePreferences();
super.performApply();
}
@Override
protected void performDefaults() {
super.performDefaults();
}
@Override
protected Control createContents(final Composite parent) {
final Composite container = new Composite(parent, SWT.NONE);
GridLayoutFactory.fillDefaults().numColumns(1).applyTo(container);
GridDataFactory.fillDefaults().align(SWT.FILL, SWT.FILL).applyTo(container);
createContainerRefreshContainer(container);
return container;
}
/**
* Create a container for the refresh rate property
* @param parent the parent container
*/
private void createContainerRefreshContainer(Composite parent) {
final Composite container = new Composite(parent, SWT.NONE);
GridDataFactory.fillDefaults().align(SWT.FILL, SWT.FILL).span(1, 1).grab(true, false).applyTo(container);
GridLayoutFactory.fillDefaults().margins(0, 0).spacing(10, 2).applyTo(container);
refreshTimeField = new IntegerFieldEditor(
PreferenceConstants.REFRESH_TIME,
Messages.getString(REFRESH_TIME_MSG), container);
refreshTimeField.setPreferenceStore(getPreferenceStore());
refreshTimeField
.setValidateStrategy(StringFieldEditor.VALIDATE_ON_KEY_STROKE);
refreshTimeField.setValidRange(5, 200);
refreshTimeField.load();
// If the preference changes, alert the Refresh Manager
refreshTimeField
.setPropertyChangeListener(new IPropertyChangeListener() {
@Override
public void propertyChange(PropertyChangeEvent event) {
if (event.getSource().equals(refreshTimeField)) {
DockerContainerRefreshManager.getInstance()
.setRefreshTime(
refreshTimeField.getIntValue());
}
}
});
}
}
|
