🏗️ Don't automatically focus terminal's panel

src/interface/components/terminal.ts

@@ -181,7 +181,9 @@ let terminalPanel
 
 export default function TerminalComp() {
 	function TerminalMounted() {
-		terminalPanel = new Panel(this).element
+		terminalPanel = new Panel(this, {
+			autoFocus: false,
+		}).element
 	}
 
 	return element({

src/interface/constructors/panel.ts

@@ -4,6 +4,7 @@ import RunningConfig from 'RunningConfig'
 import ContextMenu from './contextmenu'
 import tabsUnsavedWarningDialog from '../defaults/dialogs/tabs_unsaved_warning'
 import PuffinElement from 'Types/puffin.element'
+import { PanelOptions } from 'Types/panel'
 
 function guessTabPosition(tab, tabsbar) {
 	const res = Object.keys(tabsbar.children).find((tabChildren, index) => {
@@ -14,9 +15,15 @@ function guessTabPosition(tab, tabsbar) {
 	return Number(res)
 }
 
+const defaultOptions = {
+	autoFocus: true,
+}
+
 class Panel {
 	element: PuffinElement
-	constructor(containerElement = document.getElementById('panels_stack')) {
+	options: PanelOptions
+	constructor(containerElement = document.getElementById('panels_stack'), options?: PanelOptions) {
+		this.options = options || defaultOptions
 		const self = this
 		const PanelComp = element({
 			components: {
@@ -122,10 +129,12 @@ class Panel {
 		}
 
 		this.element = render(PanelComp, containerElement)
-		RunningConfig.data.focusedPanel = this.element
+		const panelElement = this.element as any
+		panelElement.focusPanel = this.focusPanel.bind(this)
+		this.focusPanel()
 	}
 	focusPanel() {
-		RunningConfig.data.focusedPanel = this.element
+		if (this.options.autoFocus) RunningConfig.data.focusedPanel = this.element
 	}
 }
 

src/interface/constructors/tab.ts

@@ -247,7 +247,8 @@ class Tab {
 		const focusedMeListener = this.tabState.on('focusedMe', ({ justCreated = false } = {}) => {
 			if (this.tabState.data.active && justCreated === false) return
 			RunningConfig.data.focusedTab = this.tabElement
-			RunningConfig.data.focusedPanel = this.tabElement.parentElement.parentElement
+			const tabPanel = <any>this.tabElement.parentElement.parentElement
+			tabPanel.focusPanel()
 			if (!this.tabState.data.active) unfocusActiveTab(this.tabElement.parentElement)
 			RunningConfig.emit('aTabHasBeenFocused', {
 				tabElement: this.tabElement,

src/interface/types/panel.ts

@@ -0,0 +1,3 @@
+export interface PanelOptions {
+	autoFocus: boolean
+}