From 4314d2bf8634ddc573c4f0a4266a6771cb5eb696 Mon Sep 17 00:00:00 2001 From: wuestholz Date: Tue, 11 Jun 2013 10:24:31 -0700 Subject: DafnyExtension: Did some refactoring. --- Source/DafnyMenu/DafnyMenuPackage.cs | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'Source/DafnyMenu') diff --git a/Source/DafnyMenu/DafnyMenuPackage.cs b/Source/DafnyMenu/DafnyMenuPackage.cs index dcd4344e..54f3a4dd 100644 --- a/Source/DafnyMenu/DafnyMenuPackage.cs +++ b/Source/DafnyMenu/DafnyMenuPackage.cs @@ -17,8 +17,8 @@ namespace DafnyLanguage.DafnyMenu /// The minimum requirement for a class to be considered a valid package for Visual Studio /// is to implement the IVsPackage interface and register itself with the shell. /// This package uses the helper classes defined inside the Managed Package Framework (MPF) - /// to do it: it derives from the Package class that provides the implementation of the - /// IVsPackage interface and uses the registration attributes defined in the framework to + /// to do it: it derives from the Package class that provides the implementation of the + /// IVsPackage interface and uses the registration attributes defined in the framework to /// register itself and its components with the shell. /// // This attribute tells the PkgDef creation utility (CreatePkgDef.exe) that this class is @@ -41,9 +41,9 @@ namespace DafnyLanguage.DafnyMenu /// /// Default constructor of the package. - /// Inside this method you can place any initialization code that does not require - /// any Visual Studio service because at this point the package object is created but - /// not sited yet inside Visual Studio environment. The place to do all the other + /// Inside this method you can place any initialization code that does not require + /// any Visual Studio service because at this point the package object is created but + /// not sited yet inside Visual Studio environment. The place to do all the other /// initialization is the Initialize method. /// public DafnyMenuPackage() @@ -128,7 +128,7 @@ namespace DafnyLanguage.DafnyMenu { var dte = GetGlobalService(typeof(EnvDTE.DTE)) as EnvDTE.DTE; DafnyLanguage.ProgressTagger tagger; - DafnyLanguage.ProgressTagger.ProgressTaggers.TryGetValue(dte.ActiveDocument.FullName, out tagger); + DafnyLanguage.ProgressTagger.ProgressTaggers.TryGetValue(dte.ActiveDocument.FullName, out tagger); runVerifierCommand.Visible = tagger != null && tagger.VerificationDisabled; runVerifierCommand.Enabled = tagger != null && tagger.VerificationDisabled; } @@ -137,7 +137,7 @@ namespace DafnyLanguage.DafnyMenu { var dte = GetGlobalService(typeof(EnvDTE.DTE)) as EnvDTE.DTE; DafnyLanguage.ProgressTagger tagger; - DafnyLanguage.ProgressTagger.ProgressTaggers.TryGetValue(dte.ActiveDocument.FullName, out tagger); + DafnyLanguage.ProgressTagger.ProgressTaggers.TryGetValue(dte.ActiveDocument.FullName, out tagger); stopVerifierCommand.Visible = !(tagger != null && tagger.VerificationDisabled); stopVerifierCommand.Enabled = !(tagger != null && tagger.VerificationDisabled); } -- cgit v1.2.3