public static void RefreshColorHighlighter()
{
if (TabManager.HasTabs())
{
RichTextBox Box = TabManager.GetBox();
ColorHighlighter.Parse(Box);
}
}
public static void RefreshColor()
{
TabPage Tab;
if (Tabs.Controls.Count == 1)
{
Tab = (TabPage)Tabs.Controls[0];
}
else
{
Tab = Tabs.SelectedTab;
}
TabData Data = (TabData)Tab.Tag;
ColorHighlighter.Parse(Data.Box);
}
public static void Add(String FilenameArg, String ContentArg)
{
TabData Data = new TabData();
Data.Filename = FilenameArg;
TabPage Tab = new TabPage();
Tab.AutoScroll = true;
Tab.ContextMenu = new TabContextMenu(FilenameArg);
Tab.Text = Path.GetFileNameWithoutExtension(FilenameArg);
Tab.Tag = Data;
Tab.VisibleChanged += new EventHandler(OnVisibleChanged);
Tabs.Controls.Add(Tab);
Tabs.SelectTab(Tab);
RichTextBox Box = new RichTextBox();
Box.Parent = Tab;
Box.Dock = DockStyle.Fill;
Box.Multiline = true;
Box.WordWrap = false;
Box.ReadOnly = false;
Box.Text = ContentArg;
Box.ContextMenu = new TabContextMenu(FilenameArg);
Box.TextChanged += new EventHandler(OnTextChange);
Box.SelectionChanged += new EventHandler(OnSelectionChange);
Box.AcceptsTab = true;
// Default is Box.ScrollBars = RichTextBoxScrollBars.Both
Data.Box = Box;
if (GeneralRegistry.GetUseColor())
{
ColorHighlighter.Parse(Box);
}
}
