Handle the missing IThemeManager case

Signed-off-by: Duc Trung LE <[email protected]>
jupyter-widgets · Nov 9, 2022 · b398f20 · b398f20
1 parent 0c2c4ce
commit b398f20
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/js/plugin.ts b/js/plugin.ts
@@ -35,12 +35,12 @@ export default datagridPlugin;
 function activateWidgetExtension(
   app: Application<Widget>,
   registry: IJupyterWidgetRegistry,
-  themeManager: IThemeManager,
+  themeManager: IThemeManager | null,
 ): void {
   // Exporting a patched DataGridView widget which handles dynamic theme changes
   class DataGridView extends widgetExports.DataGridView {
     initialize(parameters: WidgetView.IInitializeParameters) {
-      if (themeManager.theme != null) {
+      if (themeManager?.theme != null) {
         this.isLightTheme = themeManager.isLight(themeManager.theme);
       }
       super.initialize(parameters);
@@ -55,7 +55,7 @@ function activateWidgetExtension(
     }
 
     private onThemeChanged() {
-      if (themeManager.theme != null) {
+      if (themeManager?.theme != null) {
         this.isLightTheme = themeManager.isLight(themeManager.theme);
       }
       this.updateGridStyle();