Changeset 396 for trunk/org.modelica.mdt.ui/src

Timestamp:

03/07/06 11:38:07 (19 years ago)

Author:

boris

Message:

• added 'custon omc-path setting'
• redone the modelica preference page a bit

File:

• trunk/org.modelica.mdt.ui/src/org/modelica/mdt/ui/preferences/ModelicaPreferencePage.java (modified) (2 diffs)

trunk/org.modelica.mdt.ui/src/org/modelica/mdt/ui/preferences/ModelicaPreferencePage.java

@@ -42 +42 @@
 package org.modelica.mdt.ui.preferences;
 
-import org.eclipse.jface.preference.BooleanFieldEditor;
-import org.eclipse.jface.preference.FieldEditorPreferencePage;
+import org.eclipse.jface.preference.IPreferenceStore;
+import org.eclipse.jface.preference.PreferencePage;
+import org.eclipse.swt.SWT;
+import org.eclipse.swt.events.SelectionAdapter;
+import org.eclipse.swt.events.SelectionEvent;
+import org.eclipse.swt.layout.GridData;
+import org.eclipse.swt.layout.GridLayout;
+import org.eclipse.swt.widgets.Button;
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Control;
+import org.eclipse.swt.widgets.FileDialog;
+import org.eclipse.swt.widgets.Group;
+import org.eclipse.swt.widgets.Label;
+import org.eclipse.swt.widgets.Text;
 import org.eclipse.ui.IWorkbench;
 import org.eclipse.ui.IWorkbenchPreferencePage;
@@ -53 +65 @@
  * configuring MDT.
  */
-public class ModelicaPreferencePage extends FieldEditorPreferencePage
-    implements IWorkbenchPreferencePage {
-
-    public ModelicaPreferencePage() 
-    {
-        super(GRID);
+public class ModelicaPreferencePage extends PreferencePage
+    implements IWorkbenchPreferencePage 
+{
+
+    private Button displayCompErrors;
+    private Button useStandardOmcPath;
+    private Button useCustomOmcPath;
+    private Text customOmcPath;
+    private Button browseButton;
+    
+    @Override
+    protected Control createContents(Composite grandParent)
+    {
+        Composite parent = new Composite(grandParent, SWT.NULL);
+
+        /* Create a data that takes up the extra space in the dialog */
+        GridData data = new GridData(GridData.FILL_HORIZONTAL);
+        data.grabExcessHorizontalSpace = true;
+        parent.setLayoutData(data);
+
+        GridLayout layout = new GridLayout();
+        parent.setLayout(layout);           
+
+        /* page 'title' */
+        Label label = new Label(parent, SWT.NONE);
+        label.setText("Settings for Modelica development:");
+        
+        /*
+         * 'error reportting settings' group
+         */
+        
+        /* dummy label for space */
+        new Label(parent, SWT.NONE);
+        
+        Group group = new Group(parent, SWT.SHADOW_ETCHED_IN);
+        group.setText("Error reporting settings");
+        
+        data = new GridData(GridData.FILL_HORIZONTAL);
+        data.grabExcessHorizontalSpace = true;
+        group.setLayoutData(data);
+        
+        layout = new GridLayout();
+        group.setLayout(layout);
+
+        displayCompErrors = new Button(group, SWT.CHECK);
+        displayCompErrors.setText("Display internal &compatibility errors");
+
+        data = new GridData(GridData.FILL_HORIZONTAL);
+        data.grabExcessHorizontalSpace = true;
+        displayCompErrors.setLayoutData(data);
+        
+        displayCompErrors.setSelection(PreferenceManager.getDisplayCompErrors());
+        
+        /*
+         * 'OMC path' group
+         */
+        
+        /* dummy label for space */
+        new Label(parent, SWT.NONE);
+        
+        group = new Group(parent, SWT.SHADOW_ETCHED_IN);
+        group.setText("OpenModelica Compiler (OMC) Path");
+        
+        data = new GridData(GridData.FILL_HORIZONTAL);
+        data.grabExcessHorizontalSpace = true;
+        group.setLayoutData(data);
+        
+        layout = new GridLayout();
+        layout.numColumns = 2;
+        group.setLayout(layout);
+        
+        /* use standard path option */
+        useStandardOmcPath = new Button(group, SWT.RADIO);
+        useStandardOmcPath.setText("use OPENMODELICAHOME environment variable");
+
+        data = new GridData(GridData.FILL_HORIZONTAL);
+        data.grabExcessHorizontalSpace = true;
+        data.horizontalSpan = 2;
+        useStandardOmcPath.setLayoutData(data);
+        
+        useStandardOmcPath.setSelection(PreferenceManager.getUseStandardOmcPath());
+                
+        /* use custom path option */
+        useCustomOmcPath = new Button(group, SWT.RADIO);
+        useCustomOmcPath.setText("use custom path:");
+
+        useCustomOmcPath.setSelection(!PreferenceManager.getUseStandardOmcPath());
+                
+        data = new GridData(GridData.FILL_HORIZONTAL);      
+        data.grabExcessHorizontalSpace = true;
+        data.horizontalSpan = 2;
+        useCustomOmcPath.setLayoutData(data);
+        
+        customOmcPath = new Text(group, SWT.SINGLE | SWT.BORDER | SWT.LEFT);
+        data = new GridData(GridData.HORIZONTAL_ALIGN_FILL |
+                    GridData.GRAB_HORIZONTAL);
+        customOmcPath.setLayoutData(data);
+
+        customOmcPath.setText(PreferenceManager.getCustomOmcPath());
+        customOmcPath.setEnabled(useCustomOmcPath.getSelection());
+        
+        browseButton = new Button(group, SWT.PUSH);
+        browseButton.setText("Browse...");
+                    
+        data = new GridData();
+        data.horizontalAlignment = GridData.END;
+        browseButton.setLayoutData(data);
+        
+        browseButton.setEnabled(useCustomOmcPath.getSelection());
+
+        /* setup the interactive widget business logic, yeah, multitiers application baby ! */
+        useCustomOmcPath.addSelectionListener(new SelectionAdapter()
+                {
+                    public void widgetSelected(SelectionEvent e)
+                    {
+                        customOmcPath.setEnabled(true);
+                        browseButton.setEnabled(true);
+                    }
+                });
+
+        useStandardOmcPath.addSelectionListener(new SelectionAdapter()
+                {
+                    public void widgetSelected(SelectionEvent e)
+                    {
+                        customOmcPath.setEnabled(false);
+                        browseButton.setEnabled(false);
+                    }
+                });
+
+        browseButton.addSelectionListener(new SelectionAdapter()
+                {
+                    public void widgetSelected(SelectionEvent e)
+                    {
+                        FileDialog dialog = new FileDialog(getShell());
+                        dialog.setText("pick OMC binary");
+                        String res = dialog.open();
+                        
+                        if (res != null)
+                        {
+                            customOmcPath.setText(res);
+                        }
+                    }
+                });
+        
+        
+        return parent;
+    }
+    
+    public void init(IWorkbench workbench)
+    {
         setPreferenceStore(CorePlugin.getDefault().getPreferenceStore());
-        setDescription("Settings for Modelica development:");
-    }
-    
-    public void createFieldEditors() 
-    {
-        /* the 'toggle compatibility errors' switch */
-        addField(
-            new BooleanFieldEditor(
-                PreferenceManager.DISPLAY_COMPATIBILTY_ERRORS,
-                "Display internal &compatibility errors",
-                getFieldEditorParent()));
-    }
-    
-    public void init(IWorkbench workbench)
-    {
-        /* NOP */
+    }
+    
+    protected void performDefaults() 
+    {
+        IPreferenceStore store = getPreferenceStore();
+        /*
+         * reset widgets to default settings 
+         */
+        displayCompErrors.setSelection
+            (store.getDefaultBoolean(PreferenceManager.DISPLAY_COMPATIBILTY_ERRORS));
+        useStandardOmcPath.setSelection
+            (store.getDefaultBoolean(PreferenceManager.USE_STANDARD_OMC_PATH));
+        useCustomOmcPath.setSelection
+            (!store.getDefaultBoolean(PreferenceManager.USE_STANDARD_OMC_PATH));
+        customOmcPath.setEnabled(useCustomOmcPath.getSelection());
+        browseButton.setEnabled(useCustomOmcPath.getSelection());
+        customOmcPath.setText(store.getDefaultString(PreferenceManager.CUSTOM_OMC_PATH));
+
+    }
+
+    
+    public boolean performOk() 
+    {
+        /*
+         * save settings to the store
+         */
+        IPreferenceStore store = getPreferenceStore();
+        
+        store.setValue(PreferenceManager.DISPLAY_COMPATIBILTY_ERRORS,
+                displayCompErrors.getSelection());
+        store.setValue(PreferenceManager.USE_STANDARD_OMC_PATH,
+                useStandardOmcPath.getSelection());
+        store.setValue(PreferenceManager.CUSTOM_OMC_PATH,
+                customOmcPath.getText());
+
+        return true;
     }
 }