Function insertText

src/handlers/quickTools.js:685–708

(value)

}

function insertText(value) {
	const text = String(value ?? "");
	if (!text) return false;

	const terminalComponent = getActiveTerminalComponent();
	if (terminalComponent?.terminal) {
		if (typeof terminalComponent.terminal.paste === "function") {
			terminalComponent.terminal.paste(text);
			terminalComponent.focus();
			return true;
		}

		if (terminalComponent.serverMode && terminalComponent.isConnected) {
			terminalComponent.write(text);
			terminalComponent.focus();
			return true;
		}

		return false;
	}

	const { editor } = editorManager;
	return editor ? editor.insert(text) : false;
}

function shiftKeyMapping(char) {
	switch (char) {