/// <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); } } }
private void OpenInfoCanvas() { Info.SetActive(true); activeUI = ActiveUI.INFO; }
private void GotoMain() { activeUI = ActiveUI.MAIN; uiCameraSystem.MoveTo("Main"); DisableAllOtherUIs(); }
private void PlayButtonClicked() { activeUI = ActiveUI.PAGES; uiCameraSystem.MoveTo("PAGE0"); }
private void ActiveUItoAnimal() { activeUI = ActiveUI.ANIMAL; }
private void ActiveUItoPages(int id) { activeUI = ActiveUI.PAGES; }