##// END OF EJS Templates
don't set language_info to an empty dict...
Min RK -
Show More
@@ -256,7 +256,11 b' define(['
256
256
257 this.events.on('kernel_ready.Kernel', function(event, data) {
257 this.events.on('kernel_ready.Kernel', function(event, data) {
258 var kinfo = data.kernel.info_reply;
258 var kinfo = data.kernel.info_reply;
259 var langinfo = kinfo.language_info || {};
259 if (!kinfo.language_info) {
260 delete that.metadata.language_info;
261 return;
262 }
263 var langinfo = kinfo.language_info;
260 that.metadata.language_info = langinfo;
264 that.metadata.language_info = langinfo;
261 // Mode 'null' should be plain, unhighlighted text.
265 // Mode 'null' should be plain, unhighlighted text.
262 var cm_mode = langinfo.codemirror_mode || langinfo.name || 'null';
266 var cm_mode = langinfo.codemirror_mode || langinfo.name || 'null';
General Comments 0
You need to be logged in to leave comments. Login now