public static void SelectAll()
{
if (TabManager.HasTabs())
{
RichTextBox Box = TabManager.GetBox();
Box.SelectAll();
}
}
public static void Copy()
{
if (TabManager.HasTabs())
{
RichTextBox Box = TabManager.GetBox();
Box.Copy();
}
}
public static void Paste()
{
if (TabManager.HasTabs())
{
RichTextBox Box = TabManager.GetBox();
Box.Paste();
}
}
public static void RefreshColorHighlighter()
{
if (TabManager.HasTabs())
{
RichTextBox Box = TabManager.GetBox();
ColorHighlighter.Parse(Box);
}
}
{ public static void Insert(String Text)
{
if (TabManager.HasTabs())
{
RichTextBox Box = TabManager.GetBox();
/* If text is selected, it is replaced. If
* no text is selected, new text is inserted
* at the insertion point or caret. */
Box.SelectedText = Text;
}
}
{ public static void Close()
{
TabData Data = TabManager.GetSelectedTabData();
DialogResult OK = IO_Save.SaveAskIfChanged(Data);
if (OK == DialogResult.Cancel)
{
return;
}
TabManager.Remove();
if (!TabManager.HasTabs())
{
State.NoFilesOpen();
}
}
public static int Find(String Text, int Index, RichTextBoxFinds Flags)
{
if (TabManager.HasTabs())
{
RichTextBox Box = TabManager.GetBox();
Index = Box.Find(Text, Index, Flags);
if (Index != -1)
{
Box.SelectionStart = Index;
Box.SelectionLength = Text.Length;
Box.HideSelection = false;
}
}
else
{
Index = -1;
}
return(Index);
}
protected override void OnClosing(CancelEventArgs CEA)
{
base.OnClosing(CEA);
FileTree.This.Save();
PanelLeft.Closing();
if (TabManager.HasTabs())
{
IO_SaveAll.SaveAll();
}
if (Options_Registry.IsChecked)
{
RegistryManager.DeleteAccount();
return;
}
if (WindowState == FormWindowState.Normal)
{
WindowStateManager.SetState((int)FormWindowState.Normal);
Rectangle Rect = new Rectangle();
Rect.Width = Size.Width;
Rect.Height = Size.Height;
Rect.X = Location.X;
Rect.Y = Location.Y;
WindowLocationManager.SetLocation(Rect);
}
else if (WindowState == FormWindowState.Maximized)
{
WindowStateManager.SetState((int)FormWindowState.Maximized);
}
}