DafnyExtension: Did some refactoring.

1 files changed, 7 insertions, 7 deletions

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.

   /// </summary>

   // This attribute tells the PkgDef creation utility (CreatePkgDef.exe) that this class is

@@ -41,9 +41,9 @@ namespace DafnyLanguage.DafnyMenu
 

     /// <summary>

     /// 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.

     /// </summary>

     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);

     }