From 8b93d1561e09fd80cd70309b5f90837b5e7cf39e Mon Sep 17 00:00:00 2001
From: Min RK <benjaminrk@gmail.com>
Date: Wed, 11 Feb 2015 14:10:12 -0800
Subject: [PATCH] disable screenKeys in term.js

these capture ctrl-a and other keyboard shortcuts
---
 IPython/html/static/terminal/js/terminado.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/IPython/html/static/terminal/js/terminado.js b/IPython/html/static/terminal/js/terminado.js
index a5552ff65..5192f713f 100644
--- a/IPython/html/static/terminal/js/terminado.js
+++ b/IPython/html/static/terminal/js/terminado.js
@@ -6,7 +6,7 @@ define ([], function() {
         var term = new Terminal({
           cols: size.cols,
           rows: size.rows,
-          screenKeys: true,
+          screenKeys: false,
           useStyle: false
         });
         ws.onopen = function(event) {