From 2a47b76611765205272cacd5ecba5884bee0afd1 Mon Sep 17 00:00:00 2001
From: Andrew Gibiansky <andrew.gibiansky@gmail.com>
Date: Sat, 4 Apr 2015 21:48:32 -0700
Subject: [PATCH] Fixing some kernel js

---
 html/kernel.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/kernel.js b/html/kernel.js
index 34d59d73..20e30981 100644
--- a/html/kernel.js
+++ b/html/kernel.js
@@ -47,7 +47,7 @@ define(['require',
                             // This is necessary, otherwise sometimes highlighting just doesn't happen.
                             // This may be an IPython bug.
                             c.code_mirror.setOption('mode', 'ihaskell');
-                            c.auto_highlight();
+                            c.force_highlight('ihaskell');
                         }
                     }
                 });