##// END OF EJS Templates
fix loading of language name from kernel_info...
Min RK -
Show More
@@ -240,11 +240,12 define([
240 240 this.events.on('kernel_ready.Kernel', function(event, data) {
241 241 var kinfo = data.kernel.info_reply;
242 242 var langinfo = kinfo.language_info || {};
243 if (!langinfo.name) langinfo.name = kinfo.language;
244
243 if (!langinfo.name) {
244 langinfo.name = kinfo.language;
245 }
245 246 that.metadata.language_info = langinfo;
246 247 // Mode 'null' should be plain, unhighlighted text.
247 var cm_mode = langinfo.codemirror_mode || langinfo.language || 'null';
248 var cm_mode = langinfo.codemirror_mode || langinfo.name || 'null';
248 249 that.set_codemirror_mode(cm_mode);
249 250 });
250 251
@@ -1828,7 +1829,7 define([
1828 1829 if (this.metadata.language_info !== undefined) {
1829 1830 var langinfo = this.metadata.language_info;
1830 1831 // Mode 'null' should be plain, unhighlighted text.
1831 var cm_mode = langinfo.codemirror_mode || langinfo.language || 'null';
1832 var cm_mode = langinfo.codemirror_mode || langinfo.name || 'null';
1832 1833 this.set_codemirror_mode(cm_mode);
1833 1834 }
1834 1835
General Comments 0
You need to be logged in to leave comments. Login now