public HelpForm()
        {
            //
            // The InitializeComponent() call is required for Windows Forms designer support.
            //
            InitializeComponent();

            //
            // TODO: Add constructor code after the InitializeComponent() call.
            //

            pathLabel.Text = OptionsReader.GetOptionsFilePath();
        }
        public MainForm()
        {
            //
            // The InitializeComponent() call is required for Windows Forms designer support.
            //
            InitializeComponent();

            //
            // TODO: Add constructor code after the InitializeComponent() call.
            //

            fctb.Font = textFont;

            ApplyTheme(OptionsReader.Theme);

            OptionsReader.GetHighlightOption();

            saved = true;
        }
 void ChangedRadioButtonCheckedChanged(object sender, EventArgs e)
 {
     OptionsReader.SetHighlightOption("changed");
     highlightRangeLabel.Text = changedDescription;
 }
 void VisibleRadioButtonCheckedChanged(object sender, EventArgs e)
 {
     OptionsReader.SetHighlightOption("visible");
     highlightRangeLabel.Text = visibleDescription;
 }