##// END OF EJS Templates
Add default_kernel_name class level variable
Thomas Kluyver -
Show More
@@ -59,6 +59,9 define([
59 this.keyboard_manager = options.keyboard_manager;
59 this.keyboard_manager = options.keyboard_manager;
60 this.save_widget = options.save_widget;
60 this.save_widget = options.save_widget;
61 this.tooltip = new tooltip.Tooltip(this.events);
61 this.tooltip = new tooltip.Tooltip(this.events);
62 // default_kernel_name is a temporary measure while we implement proper
63 // kernel selection and delayed start. Do not rely on it.
64 this.default_kernel_name = 'python';
62 // TODO: This code smells (and the other `= this` line a couple lines down)
65 // TODO: This code smells (and the other `= this` line a couple lines down)
63 // We need a better way to deal with circular instance references.
66 // We need a better way to deal with circular instance references.
64 this.keyboard_manager.notebook = this;
67 this.keyboard_manager.notebook = this;
@@ -1498,7 +1501,7 define([
1498 // For now, create all sessions with the 'python' kernel, which is the
1501 // For now, create all sessions with the 'python' kernel, which is the
1499 // default. Later, the user will be able to select kernels. This is
1502 // default. Later, the user will be able to select kernels. This is
1500 // overridden if KernelManager.kernel_cmd is specified for the server.
1503 // overridden if KernelManager.kernel_cmd is specified for the server.
1501 kernel_name: 'python',
1504 kernel_name: this.default_kernel_name,
1502 notebook: this});
1505 notebook: this});
1503
1506
1504 this.session.start($.proxy(this._session_started, this));
1507 this.session.start($.proxy(this._session_started, this));
General Comments 0
You need to be logged in to leave comments. Login now