From 7a3db781f54799bcde64f3804e0798a577f4b669 Mon Sep 17 00:00:00 2001
From: Helin Shiah <helinx@google.com>
Date: Wed, 2 Oct 2024 10:36:47 -0700
Subject: [PATCH] Make theme manager static

---
 packages/devtools_app/lib/src/framework/framework_core.dart | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/packages/devtools_app/lib/src/framework/framework_core.dart b/packages/devtools_app/lib/src/framework/framework_core.dart
index bdc6ad3b948..c8aa1150762 100644
--- a/packages/devtools_app/lib/src/framework/framework_core.dart
+++ b/packages/devtools_app/lib/src/framework/framework_core.dart
@@ -73,7 +73,7 @@ abstract class FrameworkCore {
   static void dispose() {
     extensionService.dispose();
     preferences.dispose();
-    themeManager?.dispose();
+    _themeManager?.dispose();
     unawaited(dtdManager.dispose());
   }
 
@@ -95,7 +95,7 @@ abstract class FrameworkCore {
 
   static bool vmServiceInitializationInProgress = false;
 
-  static EditorThemeManager? themeManager;
+  static EditorThemeManager? _themeManager;
 
   /// Attempts to initialize a VM service connection and return whether the
   /// connection attempt succeeded.
@@ -191,7 +191,7 @@ Future<void> _initDTDConnection() async {
       );
 
       if (dtdManager.connection.value != null) {
-        FrameworkCore.themeManager =
+        FrameworkCore._themeManager =
             EditorThemeManager(dtdManager.connection.value!)
               ..listenForThemeChanges();
       }