Changeset 658 for trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/MainWindow.java

Timestamp:

08/28/12 09:58:46 (12 years ago)

Author:

sherbold

Message:

• extended SWT GUI such that GUI models can be displayed and browsed

File:

• trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/MainWindow.java (modified) (3 diffs)

trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/MainWindow.java

@@ -35 +35 @@
     protected TabItem sequencesTab;
     protected TabItem modelsTab;
+    protected TabItem guiModelsTab;
     protected TabItem dataTab;
     protected ConsoleTabComposite consoleTabComposite;
     protected SequencesTabComposite sequencesTabComposite;
     protected ModelsTabComposite modelsTabComposite;
+    protected GuiModelTabComposite guiModelTabComposite;
     protected DataTabComposite dataTabComposite;
 
@@ -198 +200 @@
                     modelsTabComposite.updateModelList();
                 }
+                else if (e.item == guiModelsTab) {
+                    guiModelTabComposite.updateModelList();
+                }
                 else if (e.item == dataTab) {
                     dataTabComposite.updateDataList();
@@ -222 +227 @@
         modelsTabComposite = new ModelsTabComposite(tabFolder, SWT.NO_BACKGROUND);
         modelsTab.setControl(modelsTabComposite);
+        
+        guiModelsTab = new TabItem(tabFolder, SWT.NONE);
+        guiModelsTab.setText("GUI Models");
+
+        guiModelTabComposite = new GuiModelTabComposite(tabFolder, SWT.NO_BACKGROUND);
+        guiModelsTab.setControl(guiModelTabComposite);
 
         dataTab = new TabItem(tabFolder, SWT.NONE);