Example #1
0
 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);
     }
 }
Example #2
0
 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;
 }