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); } }