From ebfe1ae690dacb3cd3be63d16f38ca8417064c0d 2014-03-20 19:35:52
From: Brian E. Granger <ellisonbg@gmail.com>
Date: 2014-03-20 19:35:52
Subject: [PATCH] Merge pull request #5391 from jdfreder/netscape-keyboard

Fix Gecko (Netscape) keyboard handling
---

diff --git a/IPython/html/static/base/js/keyboard.js b/IPython/html/static/base/js/keyboard.js
index 96edd73..224e373 100644
--- a/IPython/html/static/base/js/keyboard.js
+++ b/IPython/html/static/base/js/keyboard.js
@@ -54,7 +54,7 @@ IPython.keyboard = (function (IPython) {
     var browser = IPython.utils.browser[0];
     var platform = IPython.utils.platform;
     
-    if (browser === 'Firefox' || browser === 'Opera') {
+    if (browser === 'Firefox' || browser === 'Opera' || browser === 'Netscape') {
         $.extend(_keycodes, _mozilla_keycodes);
     } else if (browser === 'Safari' || browser === 'Chrome' || browser === 'MSIE') {
         $.extend(_keycodes, _ie_keycodes);