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: |
|
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