refactoring, tab switching handling shouldn't be on the widget level

src/public/app/components/note_context.js

@@ -105,11 +105,24 @@ class NoteContext extends Component {
         return appContext.tabManager.noteContexts.filter(nc => nc.ntxId === this.ntxId || nc.mainNtxId === this.ntxId);
     }
 
+    /**
+     * A main context represents a tab and also the first split. Further splits are the children contexts of the main context.
+     * Imagine you have a tab with 3 splits, each showing notes A, B, C (in this order).
+     * In such a scenario, A context is the main context (also representing the tab as a whole), and B, C are the children
+     * of context A.
+     *
+     * @returns {boolean} true if the context is main (= tab)
+     */
     isMainContext() {
         // if null, then this is a main context
         return !this.mainNtxId;
     }
 
+    /**
+     * See docs for isMainContext() for better explanation.
+     *
+     * @returns {NoteContext}
+     */
     getMainContext() {
         if (this.mainNtxId) {
             try {

src/public/app/components/root_command_executor.js

@@ -154,4 +154,24 @@ export default class RootCommandExecutor extends Component {
             });
         }
     }
+
+    firstTabCommand() {this.#goToTab(1);}
+    secondTabCommand() {this.#goToTab(2);}
+    thirdTabCommand() {this.#goToTab(3);}
+    fourthTabCommand() {this.#goToTab(4);}
+    fifthTabCommand() {this.#goToTab(5);}
+    sixthTabCommand() {this.#goToTab(6);}
+    seventhTabCommand() {this.#goToTab(7);}
+    eigthTabCommand() {this.#goToTab(8);}
+    ninthTabCommand() {this.#goToTab(9);}
+    lastTabCommand() {this.#goToTab(Number.POSITIVE_INFINITY);}
+
+    #goToTab(tabNumber) {
+        const mainNoteContexts = appContext.tabManager.getMainNoteContexts();
+
+        const index = tabNumber === Number.POSITIVE_INFINITY ? mainNoteContexts.length - 1 : tabNumber - 1;
+        const tab = mainNoteContexts[index];
+
+        appContext.tabManager.activateNoteContext(tab.ntxId);
+    }
 }

src/public/app/components/tab_manager.js

@@ -173,7 +173,10 @@ export default class TabManager extends Component {
         return this.noteContexts;
     }
 
-    /** @returns {NoteContext[]} */
+    /**
+     * Main context is essentially a tab (children are splits), so this returns tabs.
+     * @returns {NoteContext[]}
+     */
     getMainNoteContexts() {
         return this.noteContexts.filter(nc => nc.isMainContext());
     }
@@ -189,14 +192,22 @@ export default class TabManager extends Component {
         return noteContext;
     }
 
-    /** @returns {NoteContext} */
+    /**
+     * Get active context which represents the visible split with focus. Active context can, but doesn't have to be "main".
+     *
+     * @returns {NoteContext}
+     */
     getActiveContext() {
         return this.activeNtxId
             ? this.getNoteContextById(this.activeNtxId)
             : null;
     }
 
-    /** @returns {NoteContext} */
+    /**
+     * Get active main context which corresponds to the active tab.
+     *
+     * @returns {NoteContext}
+     */
     getActiveMainContext() {
         return this.activeNtxId
             ? this.getNoteContextById(this.activeNtxId).getMainContext()