diff options
author | wuestholz <unknown> | 2013-07-15 18:54:34 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-07-15 18:54:34 -0700 |
commit | 832510796b7feb7f48cad8011aa688b2639668fa (patch) | |
tree | 14f3800d3b5d972fce96f01185f5710167c3041e /Source/DafnyMenu/DafnyMenu.vsct | |
parent | 8b69f963879696d40da0a1b845988e17fe9d29d2 (diff) |
DafnyExtension: Added support for selecting errors and showing the model in BVD.
Diffstat (limited to 'Source/DafnyMenu/DafnyMenu.vsct')
-rw-r--r-- | Source/DafnyMenu/DafnyMenu.vsct | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyMenu/DafnyMenu.vsct b/Source/DafnyMenu/DafnyMenu.vsct index 25c8dea9..d23ebc7f 100644 --- a/Source/DafnyMenu/DafnyMenu.vsct +++ b/Source/DafnyMenu/DafnyMenu.vsct @@ -108,7 +108,7 @@ <CommandFlag>DynamicVisibility</CommandFlag>
<CommandFlag>DefaultInvisible</CommandFlag>
<Strings>
- <ButtonText>Show error model</ButtonText>
+ <ButtonText>Show model for selected error in BVD</ButtonText>
</Strings>
</Button>
|