fix loading of language name from kernel_info

language is langinfo.name, not langinfo.language

fixes highlighting for IJulia kernels
pull/37/head
Min RK 11 years ago
parent b6d0016a1d
commit 4ec20d55da

@ -240,11 +240,12 @@ define([
this.events.on('kernel_ready.Kernel', function(event, data) {
var kinfo = data.kernel.info_reply;
var langinfo = kinfo.language_info || {};
if (!langinfo.name) langinfo.name = kinfo.language;
if (!langinfo.name) {
langinfo.name = kinfo.language;
}
that.metadata.language_info = langinfo;
// Mode 'null' should be plain, unhighlighted text.
var cm_mode = langinfo.codemirror_mode || langinfo.language || 'null';
var cm_mode = langinfo.codemirror_mode || langinfo.name || 'null';
that.set_codemirror_mode(cm_mode);
});
@ -1828,7 +1829,7 @@ define([
if (this.metadata.language_info !== undefined) {
var langinfo = this.metadata.language_info;
// Mode 'null' should be plain, unhighlighted text.
var cm_mode = langinfo.codemirror_mode || langinfo.language || 'null';
var cm_mode = langinfo.codemirror_mode || langinfo.name || 'null';
this.set_codemirror_mode(cm_mode);
}

Loading…
Cancel
Save