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 Parse(RichTextBox RTB)
{
ColorHighlighter CH = new ColorHighlighter();
CH.Box = RTB;
CH.Index = 0;
try
{ Active = true;
bool ModifiedState = CH.Box.Modified;
CH.ParseEngine();
CH.Box.Modified = ModifiedState;
Active = false; }
catch
{ CH.ShowIncidentalToEnd(); }
}
public static void Parse (RichTextBox RTB)
{ ColorHighlighter CH = new ColorHighlighter () ;
CH.Box = RTB ;
CH.Index = 0 ;
try
{ Active = true ;
bool ModifiedState = CH.Box.Modified ;
CH.ParseEngine () ;
CH.Box.Modified = ModifiedState ;
Active = false ;
}
catch
{ CH.ShowIncidentalToEnd () ;
}
}
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);
}
}
