Changeset 2576 for trunk/sources

Timestamp:

12/30/09 16:03:32 (14 years ago)

Author:

gkronber

Message:

Quick-fix for #822.

File:

• trunk/sources/HeuristicLab.OptimizationFrontend/3.2/MainForm.cs (modified) (15 diffs)

trunk/sources/HeuristicLab.OptimizationFrontend/3.2/MainForm.cs

@@ -63 +63 @@
       Type[] creatables = discoveryService.GetTypes(typeof(IEditable));
       string[] names = new string[creatables.Length];
-      for(int i = 0; i < creatables.Length; i++)
+      for (int i = 0; i < creatables.Length; i++)
         names[i] = creatables[i].Name;
       Array.Sort(names, creatables);
-      foreach(Type type in creatables) {
-        if(!type.IsAbstract) {
+      foreach (Type type in creatables) {
+        if (!type.IsAbstract) {
           ToolStripMenuItem item = new ToolStripMenuItem();
           item.Tag = type;
@@ -85 +85 @@
     #region IControlManager Members
     public void ShowControl(IControl control) {
-      if(control is IEditor) {
-        EditorForm form = new EditorForm((IEditor)control);
-        form.MdiParent = this;
-        form.Show();
-      } else if(control is IView) {
-        ViewForm form = new ViewForm((IView)control);
-        form.MdiParent = this;
-        form.Show();
-      } else {
-        throw new InvalidOperationException("Control is neither a view nor an editor.");
+      if (InvokeRequired) Invoke((Action<IControl>)ShowControl, control);
+      else {
+        if (control is IEditor) {
+          EditorForm form = new EditorForm((IEditor)control);
+          form.MdiParent = this;
+          form.Show();
+        } else if (control is IView) {
+          ViewForm form = new ViewForm((IView)control);
+          form.MdiParent = this;
+          form.Show();
+        } else {
+          throw new InvalidOperationException("Control is neither a view nor an editor.");
+        }
       }
     }
@@ -111 +114 @@
       tileVerticallyToolStripMenuItem.Enabled = false;
 
-      if(ActiveMdiChild != null) {
+      if (ActiveMdiChild != null) {
         closeToolStripMenuItem.Enabled = true;
         closeAllToolStripMenuItem.Enabled = true;
@@ -120 +123 @@
         tileVerticallyToolStripMenuItem.Enabled = true;
         EditorForm form = ActiveMdiChild as EditorForm;
-        if(form != null) {
-          if(((Control)form.Editor).Enabled) {
+        if (form != null) {
+          if (((Control)form.Editor).Enabled) {
             saveToolStripMenuItem.Enabled = true;
             saveToolStripButton.Enabled = true;
@@ -135 +138 @@
     #region Open and Save Methods
     private void Open() {
-      if(openFileDialog.ShowDialog(this) == DialogResult.OK) {
-        lock(locker) runningTasks++;
+      if (openFileDialog.ShowDialog(this) == DialogResult.OK) {
+        lock (locker) runningTasks++;
         Cursor = Cursors.AppStarting;
         Task task = new Task(openFileDialog.FileName, null, null);
@@ -146 +149 @@
       try {
         task.storable = PersistenceManager.Load(task.filename);
-      } catch(FileNotFoundException ex) {
+      }
+      catch (FileNotFoundException ex) {
         MessageBox.Show("Sorry couldn't open file \"" + task.filename + "\".\nThe file or plugin \"" + ex.FileName + "\" is not available.\nPlease make sure you have all necessary plugins installed.",
           "Reader Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
-      } catch(TypeLoadException typeLoadEx) {
+      }
+      catch (TypeLoadException typeLoadEx) {
         MessageBox.Show("Sorry couldn't open file \"" + task.filename + "\".\nThe type \"" + typeLoadEx.TypeName + "\" is not available.\nPlease make sure that you have the correct version the plugin installed.",
           "Reader Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
@@ -158 +163 @@
     private delegate void TaskFinishedDelegate(Task task);
     private void LoadFinished(Task task) {
-      if(InvokeRequired)
+      if (InvokeRequired)
         Invoke(new TaskFinishedDelegate(LoadFinished), task);
       else {
         IEditor editor = null;
-        if(task.storable != null) {
+        if (task.storable != null) {
           IEditable editable = task.storable as IEditable;
-          if(editable != null)
+          if (editable != null)
             editor = editable.CreateEditor();
         }
-        if(editor == null)
+        if (editor == null)
           MessageBox.Show("Could not open item. The selected item doesn't provide an editor.", "Editor Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
         else {
@@ -173 +178 @@
           PluginManager.ControlManager.ShowControl(editor);
         }
-        lock(locker) {
+        lock (locker) {
           runningTasks--;
-          if(runningTasks == 0)
+          if (runningTasks == 0)
             Cursor = Cursors.Default;
         }
@@ -181 +186 @@
     }
     private void Save(EditorForm form) {
-      if(form.Editor.Filename == null)
+      if (form.Editor.Filename == null)
         SaveAs(form);
       else {
-        lock(locker) runningTasks++;
+        lock (locker) runningTasks++;
         Cursor = Cursors.AppStarting;
         ((Control)form.Editor).Enabled = false;
@@ -193 +198 @@
     }
     private void SaveAs(EditorForm form) {
-      if(saveFileDialog.ShowDialog(this) == DialogResult.OK) {
+      if (saveFileDialog.ShowDialog(this) == DialogResult.OK) {
         form.Editor.Filename = saveFileDialog.FileName;
         Save(form);
@@ -204 +209 @@
     }
     private void SaveFinished(Task task) {
-      if(InvokeRequired)
+      if (InvokeRequired)
         Invoke(new TaskFinishedDelegate(SaveFinished), task);
       else {
         ((Control)task.editor).Enabled = true;
         EnableDisableItems();
-        lock(locker) {
+        lock (locker) {
           runningTasks--;
-          if(runningTasks == 0)
+          if (runningTasks == 0)
             Cursor = Cursors.Default;
         }
@@ -227 +232 @@
       Type type = (Type)item.Tag;
       IEditable editable = (IEditable)Activator.CreateInstance(type);
-      if(editable == null) {
+      if (editable == null) {
         MessageBox.Show("The selected item is not editable.", "Editable Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
       } else {
         IEditor editor = editable.CreateEditor();
-        if(editor == null) {
+        if (editor == null) {
           MessageBox.Show("The selected item doesn't provide an editor.", "Editor Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
         } else {
@@ -251 +256 @@
     }
     private void saveAllToolStripMenuItem_Click(object sender, EventArgs e) {
-      for(int i = 0; i < MdiChildren.Length; i++) {
+      for (int i = 0; i < MdiChildren.Length; i++) {
         EditorForm form = MdiChildren[i] as EditorForm;
-        if(((Control)form.Editor).Enabled) Save(form);
+        if (((Control)form.Editor).Enabled) Save(form);
       }
     }
@@ -261 +266 @@
     }
     private void closeAllToolStripMenuItem_Click(object sender, EventArgs e) {
-      while(MdiChildren.Length > 0)
+      while (MdiChildren.Length > 0)
         MdiChildren[0].Close();
       EnableDisableItems();
@@ -301 +306 @@
     }
     private void saveAllToolStripButton_Click(object sender, EventArgs e) {
-      for(int i = 0; i < MdiChildren.Length; i++) {
+      for (int i = 0; i < MdiChildren.Length; i++) {
         EditorForm form = MdiChildren[i] as EditorForm;
-        if(form != null && ((Control)form.Editor).Enabled) Save(form);
+        if (form != null && ((Control)form.Editor).Enabled) Save(form);
       }
     }