diff options
| author |  wuestholz <unknown> | 2013-07-31 19:37:19 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-31 19:37:19 -0700 |
| commit | 7e0adb67f065c89772388e0110f959e9f7e8d404 (patch) | |
| tree | 6c51c608fb08c2596a278c9806597126c9125f8f /Source/DafnyMenu/DafnyMenu.csproj | |
| parent | ccaecf568003fda587a2df7633444aac0ab0796d (diff) | |
DafnyExtension: Increased the font size for the BVD tool window.
Diffstat (limited to 'Source/DafnyMenu/DafnyMenu.csproj')
| -rw-r--r-- | Source/DafnyMenu/DafnyMenu.csproj | 1 |
1 files changed, 1 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>
|