/// <summary> /// Apply settings to all panels. /// </summary> internal static void ApplySettings() { mainUI.ApplySettings(); foreach (var pluginUI in pluginUIs) { pluginUI.ApplySettings(); pluginUI.ClearSquiggles(); } mainUI.ClearSquiggles(); mainUI.AddSquiggles(); if (mainUI.Settings.HighlightOnlyActivePanelEntries) { if (ActiveUI.GroupId != null) { ActiveUI.AddSquiggles(); } } else { foreach (var pluginUI in pluginUIs) { if (!pluginUI.ParentPanel.IsHidden) { pluginUI.AddSquiggles(); } } } }
/// <summary> /// Add highlights to the open file. /// </summary> internal static void OnFileOpen(TextEvent e) { mainUI.AddSquiggles(e.Value); if (mainUI.Settings.HighlightOnlyActivePanelEntries) { if (ActiveUI.GroupId != null) { ActiveUI.AddSquiggles(e.Value); } } else { foreach (var pluginUI in pluginUIs) { pluginUI.AddSquiggles(e.Value); } } }