From ef3ccef52b432a7d5c8c7db2add8102bd281b58c Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 26 May 2013 18:44:37 -0700
Subject: DafnyExtension: Added a button to the menu for stopping/starting the
 verifier.

---
 Source/DafnyMenu/DafnyMenu.vsct | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

(limited to 'Source/DafnyMenu/DafnyMenu.vsct')

diff --git a/Source/DafnyMenu/DafnyMenu.vsct b/Source/DafnyMenu/DafnyMenu.vsct
index 1d0c783b..812a06e8 100644
--- a/Source/DafnyMenu/DafnyMenu.vsct
+++ b/Source/DafnyMenu/DafnyMenu.vsct
@@ -77,6 +77,24 @@
         </Strings>
       </Button>
 
+      <Button guid="guidDafnyMenuCmdSet" id="cmdidRunVerifier" priority="0x0101" type="Button">
+        <Parent guid="guidDafnyMenuCmdSet" id="DafnyMenuGroup" />
+        <CommandFlag>DefaultInvisible</CommandFlag>
+        <CommandFlag>DynamicVisibility</CommandFlag>
+        <Strings>
+          <ButtonText>Run verifier</ButtonText>
+        </Strings>
+      </Button>
+
+      <Button guid="guidDafnyMenuCmdSet" id="cmdidStopVerifier" priority="0x0102" type="Button">
+        <Parent guid="guidDafnyMenuCmdSet" id="DafnyMenuGroup" />
+        <CommandFlag>DefaultInvisible</CommandFlag>
+        <CommandFlag>DynamicVisibility</CommandFlag>
+        <Strings>
+          <ButtonText>Stop verifier</ButtonText>
+        </Strings>
+      </Button>
+
     </Buttons>
 
     <!--The bitmaps section is used to define the bitmaps that are used for the commands.-->
@@ -104,6 +122,8 @@
     <GuidSymbol name="guidDafnyMenuCmdSet" value="{393ad46d-e125-41ce-84ee-b4d552d5ba16}">
       <IDSymbol name="DafnyMenuGroup" value="0x1020" />
       <IDSymbol name="cmdidCompile" value="0x0100" />
+      <IDSymbol name="cmdidRunVerifier" value="0x0101" />
+      <IDSymbol name="cmdidStopVerifier" value="0x0102" />
     </GuidSymbol>
 
     <!--
-- 
cgit v1.2.3