| package org.eclipse.capra.ui.preferences; | |
| import org.eclipse.jface.preference.FieldEditorPreferencePage; | |
| import org.eclipse.ui.IWorkbench; | |
| import org.eclipse.ui.IWorkbenchPreferencePage; | |
| public class CapraPreferences extends FieldEditorPreferencePage implements IWorkbenchPreferencePage { | |
| @Override | |
| public void init(IWorkbench workbench) { | |
| // TODO Configure this preference page. | |
| setDescription("Empty preference page."); | |
| } | |
| @Override | |
| protected void createFieldEditors() { | |
| } | |
| } |