Double-click in state list brings up source view

1 files changed, 12 insertions, 2 deletions

diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs
index 1df48a29..d18e1daf 100644
--- a/Source/ModelViewer/Main.cs
+++ b/Source/ModelViewer/Main.cs
@@ -623,7 +623,7 @@ namespace Microsoft.Boogie.ModelViewer
     }

 

     private SourceView sourceView;

-    private void showSourceToolStripMenuItem_Click(object sender, EventArgs e)

+    private void ShowSource()

     {

       if (stateList.SelectedItems.Count == 0) return;

       var li = stateList.SelectedItems[0] as ListViewItem;

@@ -634,9 +634,19 @@ namespace Microsoft.Boogie.ModelViewer
             sourceView = new SourceView();

           }

           sourceView.SetSourceLocation(r);

-        }        

+        }

       }

     }

+

+    private void showSourceToolStripMenuItem_Click(object sender, EventArgs e)

+    {

+      ShowSource();

+    }

+

+    private void stateList_DoubleClick(object sender, EventArgs e)

+    {

+      ShowSource();

+    }

   }

 

   internal class DisplayItem : ListViewItem