From 0889b336e3a1412c7a83e79b4d7d4106a43ed388 2015-02-11 22:46:01
From: Fernando Perez <fperez.net@gmail.com>
Date: 2015-02-11 22:46:01
Subject: [PATCH] Merge pull request #7754 from minrk/screenKeys

disable screenKeys in term.js (enables things like `Ctrl-a` to work as expected in the terminal)
---

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) {