diff options
Diffstat (limited to 'Source/ModelViewer')
| -rw-r--r-- | Source/ModelViewer/Main.cs | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs index fde1971b..c15ea167 100644 --- a/Source/ModelViewer/Main.cs +++ b/Source/ModelViewer/Main.cs @@ -725,15 +725,19 @@ namespace Microsoft.Boogie.ModelViewer largeFont = new Font(smallFont.FontFamily, smallFont.Size * 2, smallFont.Unit);
}
- var font = largeFontToolStripMenuItem.Checked ? largeFont : smallFont;
- stateList.Font = font;
- currentStateView.Font = font;
- matchesList.Font = font;
+ SetFont(largeFontToolStripMenuItem.Checked ? largeFont : smallFont);
//textBox1.Font = font;
//linkLabel1.Font = font;
//label1.Font = font;
}
+ public void SetFont(System.Drawing.Font font)
+ {
+ stateList.Font = font;
+ currentStateView.Font = font;
+ matchesList.Font = font;
+ }
+
private void Main_Load(object sender, EventArgs e)
{
|