public void OnTextChanged(NotesPane source) { int index; index = GetPaneIndex(source); if (index > -1) { if (source.GetEditor().Text != saved[index]) { source.DockingContainer.Text = title[index] + "*"; } else { source.DockingContainer.Text = title[index]; } } AbleExtraMenu(source); }
private void AbleExtraMenu(NotesPane source) { ScintillaWrapper wrapper; bool canCutAndCopy; IList <MenuCommand> list; int index; index = GetPaneIndex(source); if (index > -1 && false) { wrapper = (ScintillaWrapper)source.GetEditor().Control; canCutAndCopy = wrapper.CanCutAndCopy(); list = document[index].MainMenu.Commands; list[0].Enabled = wrapper.CanUndo(); //list[1].Enabled = wrapper.CanRedo(); //list[3].Enabled = canCutAndCopy; //list[4].Enabled = canCutAndCopy; //list[5].Enabled = wrapper.CanPaste(); ((GUIController)editor.GUIController).MenuManager.RefreshCurrentPane(); } }