From af6486e8bb1c8629889631895464d0fda2eb8349 Mon Sep 17 00:00:00 2001
From: Red Adaya <red.adaya@gmail.com>
Date: Thu, 4 Apr 2024 11:11:08 +0800
Subject: [PATCH] remove old implementation

---
 src/app/workspace/workspaceview.tsx | 53 -----------------------------
 1 file changed, 53 deletions(-)

diff --git a/src/app/workspace/workspaceview.tsx b/src/app/workspace/workspaceview.tsx
index 5e9a19964..8966a5394 100644
--- a/src/app/workspace/workspaceview.tsx
+++ b/src/app/workspace/workspaceview.tsx
@@ -209,59 +209,6 @@ class TabSettings extends React.Component<{ screen: Screen }, {}> {
 @mobxReact.observer
 class WorkspaceView extends React.Component<{}, {}> {
     sessionRef = React.createRef<HTMLDivElement>();
-    theme: string;
-    themeReactionDisposer: mobx.IReactionDisposer;
-
-    componentDidMount() {
-        // this.setupThemeReaction();
-    }
-
-    componentDidUpdate() {
-        // this.setupThemeReaction();
-    }
-
-    // setupThemeReaction() {
-    //     if (this.themeReactionDisposer) {
-    //         this.themeReactionDisposer();
-    //     }
-
-    //     // This handles session and screen-level terminal theming.
-    //     // Ideally, screen-level theming should be handled in the inner-level component, but
-    //     // the frequent mounting and unmounting of the screen view make it really difficult to work.
-    //     this.themeReactionDisposer = mobx.reaction(
-    //         () => {
-    //             return {
-    //                 termTheme: GlobalModel.getTermTheme(),
-    //                 session: GlobalModel.getActiveSession(),
-    //                 screen: GlobalModel.getActiveScreen(),
-    //             };
-    //         },
-    //         ({ termTheme, session, screen }) => {
-    //             let currTheme = termTheme[session.sessionId];
-    //             if (termTheme[screen.screenId]) {
-    //                 currTheme = termTheme[screen.screenId];
-    //             }
-    //             if (session && currTheme !== this.theme && this.sessionRef.current) {
-    //                 const reset = currTheme == null;
-    //                 const theme = currTheme ?? this.theme;
-    //                 const themeSrcEl = reset ? null : this.sessionRef.current;
-    //                 const rtn = GlobalModel.updateTermTheme(this.sessionRef.current, theme, reset);
-    //                 rtn.then(() => {
-    //                     GlobalModel.termThemeSrcEl.set(themeSrcEl);
-    //                 }).then(() => {
-    //                     GlobalModel.bumpTermRenderVersion();
-    //                 });
-    //                 this.theme = currTheme;
-    //             }
-    //         }
-    //     );
-    // }
-
-    componentWillUnmount() {
-        if (this.themeReactionDisposer) {
-            this.themeReactionDisposer();
-        }
-    }
 
     @boundMethod
     toggleTabSettings() {