Example #1
0
        void ActivateTabPage(TabPage tabPage)
        {
            var tabState = tabPage != null ? (TabPageController)tabPage.Tag : null;

            if (tabState != null && activeTab != tabState)
            {
                activeTab        = tabState;
                defaultActiveTab = false;
                activeTab.UpdateLineNumberMargin();
                activeTab.UpdateDirtyStatus();
                UpdateUndoStatus();
            }
        }
Example #2
0
 private void scintilla_TextChanged(object sender, EventArgs e)
 {
     UpdateUndoStatus();
     activeTab.UpdateLineNumberMargin();
 }