Changeset 1577 for trunk/org.modelica.mdt.ui/src/org/modelica/mdt/ui/preferences/ModelicaPreferencePage.java

Timestamp:

07/12/12 09:01:31 (12 years ago)

Author:

jgoppert

Message:

Added ability to include modelica libraries in preferences page for auto-complete.

File:

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

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

@@ -76 +76 @@
     private Text omcIgnoreDirectoriesAndFiles;
     private Text omcCommandLineParameters;
+    private Text omcLibraries;
     
     private Button browseButton;
@@ -177 +178 @@
         omcCommandLineParameters.setLayoutData(data);       
         
+        /*
+         * OMC Libraries
+         */ 
+        /* dummy label for space */
+        new Label(parent, SWT.NONE);
+        group = new Group(parent, SWT.SHADOW_ETCHED_IN);
+        group.setText("OMC libraries");     
+        data = new GridData(GridData.FILL_HORIZONTAL);
+        data.grabExcessHorizontalSpace = true;
+        group.setLayoutData(data);      
+        layout = new GridLayout();
+        layout.numColumns = 1;
+        group.setLayout(layout);
+        
+        data = new GridData(GridData.FILL_HORIZONTAL);      
+        data.grabExcessHorizontalSpace = true;
+        data.horizontalSpan = 1;        
+        omcLibraries = new Text(group, SWT.SINGLE | SWT.BORDER | SWT.LEFT);
+        omcLibraries.setText(PreferenceManager.getOMCLibraries());      
+        data = new GridData(GridData.HORIZONTAL_ALIGN_FILL | GridData.GRAB_HORIZONTAL);
+        omcLibraries.setLayoutData(data);   
         
         /*
@@ -317 +339 @@
         omcIgnoreDirectoriesAndFiles.setText(store.getDefaultString(PreferenceManager.OMC_IGNORED_DIRECTORIES_AND_FILES));
         omcCommandLineParameters.setText(store.getDefaultString(PreferenceManager.OMC_COMMAND_LINE_PARAMETERS));
+        omcLibraries.setText(store.getDefaultString(PreferenceManager.OMC_LIBRARIES));
     }
 
@@ -339 +362 @@
         store.setValue(PreferenceManager.OMC_COMMAND_LINE_PARAMETERS,
                 omcCommandLineParameters.getText());
+        store.setValue(PreferenceManager.OMC_LIBRARIES,
+                omcLibraries.getText());
         return true;
     }