@@ -671,18 +671,8 @@ function setGlobalTheme(t: Theme): void {
|
671 | 671 | let currentThemeName: string | undefined; |
672 | 672 | let themeWatcher: fs.FSWatcher | undefined; |
673 | 673 | let themeReloadTimer: NodeJS.Timeout | undefined; |
674 | | -let onThemeChangeCallback: (() => void) | undefined; |
675 | 674 | const registeredThemes = new Map<string, Theme>(); |
676 | 675 | |
677 | | -export function setRegisteredThemes(themes: Theme[]): void { |
678 | | -registeredThemes.clear(); |
679 | | -for (const themeLocal of themes) { |
680 | | -if (themeLocal.name) { |
681 | | -registeredThemes.set(themeLocal.name, themeLocal); |
682 | | -} |
683 | | -} |
684 | | -} |
685 | | - |
686 | 676 | export function initTheme(themeName?: string, enableWatcher = false): void { |
687 | 677 | const name = themeName ?? getDefaultTheme(); |
688 | 678 | currentThemeName = name; |
@@ -709,9 +699,6 @@ export function setTheme(
|
709 | 699 | if (enableWatcher) { |
710 | 700 | startThemeWatcher(); |
711 | 701 | } |
712 | | -if (onThemeChangeCallback) { |
713 | | -onThemeChangeCallback(); |
714 | | -} |
715 | 702 | return { success: true }; |
716 | 703 | } catch (error) { |
717 | 704 | // Theme is invalid - fall back to dark theme |
@@ -725,19 +712,6 @@ export function setTheme(
|
725 | 712 | } |
726 | 713 | } |
727 | 714 | |
728 | | -export function setThemeInstance(themeInstance: Theme): void { |
729 | | -setGlobalTheme(themeInstance); |
730 | | -currentThemeName = "<in-memory>"; |
731 | | -stopThemeWatcher(); // Can't watch a direct instance |
732 | | -if (onThemeChangeCallback) { |
733 | | -onThemeChangeCallback(); |
734 | | -} |
735 | | -} |
736 | | - |
737 | | -export function onThemeChange(callback: () => void): void { |
738 | | -onThemeChangeCallback = callback; |
739 | | -} |
740 | | - |
741 | 715 | function startThemeWatcher(): void { |
742 | 716 | stopThemeWatcher(); |
743 | 717 | |
@@ -778,10 +752,6 @@ function startThemeWatcher(): void {
|
778 | 752 | const reloadedTheme = loadThemeFromPath(themeFile); |
779 | 753 | registeredThemes.set(watchedThemeName, reloadedTheme); |
780 | 754 | setGlobalTheme(reloadedTheme); |
781 | | -// Notify callback (to invalidate UI) |
782 | | -if (onThemeChangeCallback) { |
783 | | -onThemeChangeCallback(); |
784 | | -} |
785 | 755 | } catch { |
786 | 756 | // Ignore errors (file might be in invalid state while being edited) |
787 | 757 | } |
|