Function hide

src/dialogs/prompt.js:162–167

()

		}

		function hide() {
			// CodeMirror keymaps are handled differently - no need to restore commands.exec
			actionStack.remove("prompt");
			system.setInputType(appSettings.value.keyboardMode);
			hidePrompt();
		}
	});
}