DafnyExtension: Increased the font size for the BVD tool window.

2 files changed, 3 insertions, 0 deletions

diff --git a/Source/DafnyMenu/DafnyMenu.csproj b/Source/DafnyMenu/DafnyMenu.csproj
index c3a1647b..7e9fb302 100644
--- a/Source/DafnyMenu/DafnyMenu.csproj
+++ b/Source/DafnyMenu/DafnyMenu.csproj
@@ -80,6 +80,7 @@
     <Reference Include="System" />

     <Reference Include="System.Core" />

     <Reference Include="System.Design" />

+    <Reference Include="System.Drawing" />

     <Reference Include="System.Windows.Forms" />

     <Reference Include="WindowsBase" />

   </ItemGroup>

diff --git a/Source/DafnyMenu/DafnyMenuPackage.cs b/Source/DafnyMenu/DafnyMenuPackage.cs
index bf114971..61a2a85b 100644
--- a/Source/DafnyMenu/DafnyMenuPackage.cs
+++ b/Source/DafnyMenu/DafnyMenuPackage.cs
@@ -1,6 +1,7 @@
 using System;

 using System.ComponentModel.Design;

 using System.Diagnostics;

+using System.Drawing;

 using System.Globalization;

 using System.Linq;

 using System.Runtime.InteropServices;

@@ -305,6 +306,7 @@ namespace DafnyLanguage.DafnyMenu
         BvdToolWindow.BVD.HideStateList();

         BvdToolWindow.BVD.ReadModel(model);

         BvdToolWindow.BVD.SetState(id, true);

+        BvdToolWindow.BVD.SetFont(new Font(SystemFonts.DefaultFont.FontFamily, 1.3f * SystemFonts.DefaultFont.Size, SystemFonts.DefaultFont.Style));

 

         IVsWindowFrame windowFrame = (IVsWindowFrame)window.Frame;

         Microsoft.VisualStudio.ErrorHandler.ThrowOnFailure(windowFrame.Show());