From 89b99153fda8cf5ea90cd0930aaf057fba011621 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 27 May 2013 14:59:22 -0700
Subject: DafnyExtension: minor changes

---
 Source/DafnyMenu/DafnyMenu.csproj      | 1 +
 Source/DafnyMenu/DafnyMenuPackage.cs   | 3 +--
 Source/DafnyMenu/GlobalSuppressions.cs | 3 +++
 3 files changed, 5 insertions(+), 2 deletions(-)

(limited to 'Source/DafnyMenu')

diff --git a/Source/DafnyMenu/DafnyMenu.csproj b/Source/DafnyMenu/DafnyMenu.csproj
index e3500e26..11700ea4 100644
--- a/Source/DafnyMenu/DafnyMenu.csproj
+++ b/Source/DafnyMenu/DafnyMenu.csproj
@@ -30,6 +30,7 @@
     <ErrorReport>prompt</ErrorReport>
     <WarningLevel>4</WarningLevel>
     <CopyVsixExtensionFiles>False</CopyVsixExtensionFiles>
+    <CodeAnalysisRuleSet>AllRules.ruleset</CodeAnalysisRuleSet>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
     <DebugType>pdbonly</DebugType>
diff --git a/Source/DafnyMenu/DafnyMenuPackage.cs b/Source/DafnyMenu/DafnyMenuPackage.cs
index 3362f2b3..dcd4344e 100644
--- a/Source/DafnyMenu/DafnyMenuPackage.cs
+++ b/Source/DafnyMenu/DafnyMenuPackage.cs
@@ -90,7 +90,6 @@ namespace DafnyLanguage.DafnyMenu
         menuCommand = new OleMenuCommand(new EventHandler((sender, e) => { }), menuCommandID);
         menuCommand.BeforeQueryStatus += menuCommand_BeforeQueryStatus;
         menuCommand.Enabled = true;
-        var s = menuCommand.OleStatus;
         mcs.AddCommand(menuCommand);
       }
     }
@@ -120,7 +119,7 @@ namespace DafnyLanguage.DafnyMenu
     void menuCommand_BeforeQueryStatus(object sender, EventArgs e)
     {
       var dte = GetGlobalService(typeof(EnvDTE.DTE)) as EnvDTE.DTE;
-      var isActive = dte.ActiveDocument.FullName.EndsWith(".dfy");
+      var isActive = dte.ActiveDocument.FullName.EndsWith(".dfy", StringComparison.OrdinalIgnoreCase);
       menuCommand.Visible = isActive;
       menuCommand.Enabled = isActive;
     }
diff --git a/Source/DafnyMenu/GlobalSuppressions.cs b/Source/DafnyMenu/GlobalSuppressions.cs
index 3689ed23..4b115d31 100644
--- a/Source/DafnyMenu/GlobalSuppressions.cs
+++ b/Source/DafnyMenu/GlobalSuppressions.cs
@@ -1 +1,4 @@
 [assembly: System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Design", "CA1017:MarkAssembliesWithComVisible")]
+[assembly: System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Naming", "CA1703:ResourceStringsShouldBeSpelledCorrectly", MessageId = "Dafny", Scope = "resource", Target = "VSPackage.resources")]
+[assembly: System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Naming", "CA1704:IdentifiersShouldBeSpelledCorrectly", MessageId = "Dafny")]
+[assembly: System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Naming", "CA1704:IdentifiersShouldBeSpelledCorrectly", MessageId = "Dafny", Scope = "type", Target = "DafnyLanguage.DafnyMenu.DafnyMenuPackage")]
-- 
cgit v1.2.3