From 8274a4617dfb34e9c21ff4befa3c570e699c500f 2015-02-11 22:10:12
From: Min RK <benjaminrk@gmail.com>
Date: 2015-02-11 22:10:12
Subject: [PATCH] disable screenKeys in term.js

these capture ctrl-a and other keyboard shortcuts
---

diff --git a/IPython/html/static/terminal/js/terminado.js b/IPython/html/static/terminal/js/terminado.js
index a5552ff..5192f71 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) {