##// END OF EJS Templates
Removed ScrollManager selector combo.
Jonathan Frederic -
Show More
@@ -6,8 +6,7 define([
6 6 'jquery',
7 7 'notebook/js/toolbar',
8 8 'notebook/js/celltoolbar',
9 'notebook/js/scrollmanager'
10 ], function(IPython, $, toolbar, celltoolbar, scrollmanager) {
9 ], function(IPython, $, toolbar, celltoolbar) {
11 10 "use strict";
12 11
13 12 var MainToolBar = function (selector, options) {
@@ -25,7 +24,6 define([
25 24 this.construct();
26 25 this.add_celltype_list();
27 26 this.add_celltoolbar_list();
28 this.add_scrollmanager_list();
29 27 this.bind_events();
30 28 };
31 29
@@ -187,10 +185,6 define([
187 185 });
188 186 };
189 187
190 MainToolBar.prototype.add_scrollmanager_list = function () {
191 this._scrollselector = new scrollmanager.ScrollSelector(this.element, this.notebook);
192 };
193
194 188 MainToolBar.prototype.bind_events = function () {
195 189 var that = this;
196 190
@@ -67,8 +67,9 define([
67 67 this._session_starting = false;
68 68 this.default_cell_type = this.config.default_cell_type || 'code';
69 69
70 // Create and register scroll managers.
71 this.scrollmanager = new scrollmanager.ScrollManager(this);
70 // Create default scroll manager.
71 this.scrollmanager = new scrollmanager.SlideScrollManager(this);
72
72 73 // default_kernel_name is a temporary measure while we implement proper
73 74 // kernel selection and delayed start. Do not rely on it.
74 75 this.default_kernel_name = 'python';
@@ -3,48 +3,6
3 3 define(['jquery'], function($){
4 4 "use strict";
5 5
6 var ScrollSelector = function(element, notebook) {
7 // Public constructor.
8 this.notebook = notebook;
9 $('<span />')
10 .addClass('nabar-text')
11 .text('Scrolling Mode:')
12 .appendTo(element);
13 this._combo = $('<select />')
14 .addClass('form-control select-xs')
15 .appendTo(element);
16
17 // Redirect class level manager registration to this instance.
18 this._registered = {};
19 ScrollSelector.register = $.proxy(this.register, this);
20
21 // Register cached managers.
22 for (var i =0; i < ScrollSelector.registered.length; i++) {
23 this.register.apply(this, ScrollSelector.registered[i]);
24 }
25
26 // Listen for scroll manager change, apply it to the notebook.
27 var that = this;
28 this._combo.change(function(){
29 var manager = that._registered[$(this).find("option:selected").val()];
30 that.notebook.scrollmanager = manager;
31 });
32 };
33
34 // Cache scroll managers registered before the construction of a scroll
35 // manager.
36 ScrollSelector.registered = [];
37 ScrollSelector.register = function(name, manager) {
38 ScrollSelector.registered.push(arguments);
39 };
40 ScrollSelector.prototype.register = function(name, manager) {
41 this._registered[name] = manager;
42 this._combo.append($('<option />')
43 .val(name)
44 .text(name));
45 };
46
47
48 6 var ScrollManager = function(notebook) {
49 7 // Public constructor.
50 8 this.notebook = notebook;
@@ -164,7 +122,6 define(['jquery'], function($){
164 122
165 123 // Return naemspace for require.js loads
166 124 return {
167 'ScrollSelector': ScrollSelector,
168 125 'ScrollManager': ScrollManager,
169 126 'SlideScrollManager': SlideScrollManager,
170 127 'HeadingScrollManager': HeadingScrollManager,
General Comments 0
You need to be logged in to leave comments. Login now