From 7e0adb67f065c89772388e0110f959e9f7e8d404 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Wed, 31 Jul 2013 19:37:19 -0700
Subject: DafnyExtension: Increased the font size for the BVD tool window.

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

(limited to 'Source/DafnyMenu')

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());
-- 
cgit v1.2.3