private TabPage CreateEditTab() { var tabName = "t_" + Guid.NewGuid().ToString("N"); var tabPage = new TabPage(); tabPage.Name = tabName; var editor = new EditControl(tabName); editor.Dock = DockStyle.Fill; tabPage.Tag = editor; tabPage.Controls.Add(editor); return tabPage; }
private TabPage CreateEditTab() { var tabName = "t_" + Guid.NewGuid().ToString("N"); var tabPage = new TabPage(); tabPage.Name = tabName; var editor = new EditControl(tabName); editor.Dock = DockStyle.Fill; tabPage.Tag = editor; tabPage.Controls.Add(editor); return(tabPage); }
private void OnIsDirtyChanged(EditControl control) { foreach (TabPage tab in editors.TabPages) { var editControl = GetEditControlFromTab(tab); if (control == editControl) { if (control.IsDirty) { MarkDirty(tab); } else { MarkClean(tab); } break; } } }
private void IsRunningChanged(EditControl control) { SetRun(); }
private void OnIsDirtyChanged(EditControl control) { foreach(TabPage tab in editors.TabPages) { var editControl = GetEditControlFromTab(tab); if(control == editControl) { if (control.IsDirty) MarkDirty(tab); else MarkClean(tab); break; } } }