1 26 27 package org.nightlabs.editor2d.viewer.preferences; 28 29 import org.eclipse.jface.preference.FieldEditorPreferencePage; 30 import org.eclipse.ui.IWorkbench; 31 import org.eclipse.ui.IWorkbenchPreferencePage; 32 import org.nightlabs.base.pref.DoubleFieldEditor; 33 import org.nightlabs.editor2d.viewer.BufferManager; 34 import org.nightlabs.editor2d.viewer.ViewerPlugin; 35 36 public class BufferPreferencePage 37 extends FieldEditorPreferencePage 39 implements IWorkbenchPreferencePage 40 { 41 public BufferPreferencePage() 42 { 43 super(GRID); 44 setPreferenceStore(ViewerPlugin.getDefault().getPreferenceStore()); 45 setTitle(ViewerPlugin.getResourceString("preferences.buffer.title")); 46 } 47 48 58 protected DoubleFieldEditor bufferScale = null; 59 protected void createFieldEditors() 60 { 61 bufferScale = new DoubleFieldEditor(Preferences.PREFERENCE_BUFFER_SCALE, 62 ViewerPlugin.getResourceString("preferences.buffer.label.bufferScale"), 63 getFieldEditorParent()); 64 bufferScale.setValidRange(1, 10); 65 addField(bufferScale); 66 } 67 68 69 protected void performDefaults() 70 { 71 Preferences.initDefaultValues(Preferences.getPreferenceStore()); 72 super.performDefaults(); 73 } 74 75 public boolean performOk() 76 { 77 BufferManager.sharedInstance().setBufferScaleFactor(bufferScale.getDoubleValue()); 78 return super.performOk(); 79 } 80 81 public void init(IWorkbench workbench) { 82 83 } 84 85 } 86 | Popular Tags |