Transform the normal console button into a toggle one (#731)

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

Author: HaudinFlorence

packages/base/src/commands.ts

@@ -614,7 +614,13 @@ export function addCommands(
         ? tracker.currentWidget.model.sharedModel.editable
         : false;
     },
-    execute: async () => await Private.toggleConsole(tracker)
+    isToggled: () => {
+      return tracker.currentWidget?.content.consoleOpened === true;
+    },
+    execute: async () => {
+      await Private.toggleConsole(tracker);
+      commands.notifyCommandChanged(CommandIDs.toggleConsole);
+    }
   });
   commands.addCommand(CommandIDs.executeConsole, {
     label: trans.__('Execute console'),

packages/base/src/widget.ts

@@ -230,6 +230,10 @@ export class JupyterCadPanel extends SplitPanel {
     this._view.set('transform', value);
   }
 
+  get consoleOpened(): boolean {
+    return this._consoleOpened;
+  }
+
   executeConsole() {
     if (this._consoleView) {
       this._consoleView.execute();