##// END OF EJS Templates
Remove unused style() function
Thomas Kluyver -
Show More
@@ -14,7 +14,6 b' define(['
14 this.kernelspecs = {};
14 this.kernelspecs = {};
15 if (this.selector !== undefined) {
15 if (this.selector !== undefined) {
16 this.element = $(selector);
16 this.element = $(selector);
17 this.style();
18 this.request_kernelspecs();
17 this.request_kernelspecs();
19 }
18 }
20
19
@@ -22,9 +21,6 b' define(['
22 IPython.kernelselector = this;
21 IPython.kernelselector = this;
23 };
22 };
24
23
25 KernelSelector.prototype.style = function() {
26 };
27
28 KernelSelector.prototype.request_kernelspecs = function() {
24 KernelSelector.prototype.request_kernelspecs = function() {
29 var url = utils.url_join_encode(this.notebook.base_url, 'api/kernelspecs');
25 var url = utils.url_join_encode(this.notebook.base_url, 'api/kernelspecs');
30 $.ajax(url, {success: $.proxy(this.got_kernelspecs, this)});
26 $.ajax(url, {success: $.proxy(this.got_kernelspecs, this)});
General Comments 0
You need to be logged in to leave comments. Login now