From 796c2d0bdf7ab281de22a3c50aad7cc44fcb4741 Mon Sep 17 00:00:00 2001 From: nuintun Date: Wed, 25 Nov 2015 17:12:35 +0800 Subject: [PATCH] update files --- static/js/terminal/lib/options.js | 1 + 1 file changed, 1 insertion(+) diff --git a/static/js/terminal/lib/options.js b/static/js/terminal/lib/options.js index 51ba17f..b723e37 100644 --- a/static/js/terminal/lib/options.js +++ b/static/js/terminal/lib/options.js @@ -15,6 +15,7 @@ module.exports = function (Terminal){ Terminal.screenKeys = false; Terminal.programFeatures = false; + // terminal defaults Terminal.defaults = { debug: Terminal.debug, termName: Terminal.termName,