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