private void useMinecraftFontToolStripMenuItem_CheckedChanged(object sender, EventArgs e) { WorldObserver.Properties.Settings settings = WorldObserver.Properties.Settings.Default; settings.UseMinecraftFont = ((ToolStripMenuItem)sender).Checked; settings.Save(); if (settings.UseMinecraftFont) { MainTabControl.Font = new Font("Minecraft German", (float)8); } else { MainTabControl.Font = new Font("Microsoft Sans Serif", (float)8.25); } }
private void Form1_Load(object sender, EventArgs e) { Debug.WriteLine("Loading"); Status = "Initializing app"; Progress = 100; WorldObserver.Properties.Settings settings = WorldObserver.Properties.Settings.Default; if (settings.UseMinecraftFont)//TODO check is installed? actually defaults to MSS :o { //install font WorldObserver.Properties.Resources.Minecraft_German MainTabControl.Font = new Font("Minecraft German", (float)8); useMinecraftFontToolStripMenuItem.Checked = true; } else { MainTabControl.Font = new Font("Microsoft Sans Serif", (float)8.25); useMinecraftFontToolStripMenuItem.Checked = false;//CLEANUP needed? } Status = "Idle"; Progress = 0; }