diff options
| author |  wuestholz <unknown> | 2015-01-26 15:22:49 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2015-01-26 15:22:49 +0100 |
| commit | 6ca3d5ea9091df9406e60423e2ca80bd6f55f05d (patch) | |
| tree | 5200064edceed24dc7e5e30cc9b12897c77bdbe6 /Source/DafnyMenu | |
| parent | a530fb144eb1bb4cca2baf02e3cce8320124426e (diff) | |
DafnyExtension: Made it use the more advanced on-demand re-verification by default.
Diffstat (limited to 'Source/DafnyMenu')
| -rw-r--r-- | Source/DafnyMenu/DafnyMenu.vsct | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Source/DafnyMenu/DafnyMenu.vsct b/Source/DafnyMenu/DafnyMenu.vsct index 813ccd23..4c4b1403 100644 --- a/Source/DafnyMenu/DafnyMenu.vsct +++ b/Source/DafnyMenu/DafnyMenu.vsct @@ -105,11 +105,10 @@ <Button guid="guidDafnyMenuCmdSet" id="cmdidToggleMoreAdvancedSnapshotVerification" priority="0x0105" type="Button">
<Parent guid="guidDafnyMenuCmdSet" id="DafnyMenuGroup" />
- <CommandFlag>DefaultInvisible</CommandFlag>
<CommandFlag>DynamicVisibility</CommandFlag>
<CommandFlag>TextChanges</CommandFlag>
<Strings>
- <ButtonText>Enable more advanced on-demand re-verification</ButtonText>
+ <ButtonText>Disable more advanced on-demand re-verification</ButtonText>
</Strings>
</Button>
|