blob: 0db37fef01ecad21dad56c02c715e558e094116b (
plain) (
blame)
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
|
/*******************************************************************************
* Copyright (c) 2001, 2004 IBM Corporation and others.
* 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:
* IBM Corporation - initial API and implementation
* Jens Lukowski/Innoopract - initial renaming/restructuring
*
*******************************************************************************/
package org.eclipse.wst.dtd.ui.preferences;
import org.eclipse.core.runtime.Preferences;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Control;
import org.eclipse.ui.help.WorkbenchHelp;
import org.eclipse.wst.dtd.core.DTDPlugin;
import org.eclipse.wst.dtd.ui.internal.DTDUIPlugin;
import org.eclipse.wst.dtd.ui.internal.editor.IHelpContextIds;
import org.eclipse.wst.sse.ui.preferences.ui.AbstractPreferencePage;
public class DTDFilesPreferencePage extends AbstractPreferencePage {
protected Control createContents(Composite parent) {
Composite composite = (Composite) super.createContents(parent);
WorkbenchHelp.setHelp(composite, IHelpContextIds.DTD_PREFWEBX_FILES_HELPID);
setSize(composite);
loadPreferences();
return composite;
}
protected IPreferenceStore doGetPreferenceStore() {
return DTDUIPlugin.getDefault().getPreferenceStore();
}
protected void doSavePreferenceStore() {
DTDPlugin.getInstance().savePluginPreferences(); // model
}
/*
* (non-Javadoc)
*
* @see org.eclipse.wst.sse.ui.preferences.ui.AbstractPreferencePage#getModelPreferences()
*/
protected Preferences getModelPreferences() {
return DTDPlugin.getInstance().getPluginPreferences();
}
public boolean performOk() {
boolean result = super.performOk();
doSavePreferenceStore();
return result;
}
}
|
