##// END OF EJS Templates
Partial updates of css and visible + simplification of widget_container
sylvain.corlay -
Show More
@@ -1,497 +1,498 b''
1 // Copyright (c) IPython Development Team.
1 // Copyright (c) IPython Development Team.
2 // Distributed under the terms of the Modified BSD License.
2 // Distributed under the terms of the Modified BSD License.
3
3
4 define(["widgets/js/manager",
4 define(["widgets/js/manager",
5 "underscore",
5 "underscore",
6 "backbone",
6 "backbone",
7 "jquery",
7 "jquery",
8 "base/js/namespace",
8 "base/js/namespace",
9 ], function(widgetmanager, _, Backbone, $, IPython){
9 ], function(widgetmanager, _, Backbone, $, IPython){
10
10
11 var WidgetModel = Backbone.Model.extend({
11 var WidgetModel = Backbone.Model.extend({
12 constructor: function (widget_manager, model_id, comm) {
12 constructor: function (widget_manager, model_id, comm) {
13 // Constructor
13 // Constructor
14 //
14 //
15 // Creates a WidgetModel instance.
15 // Creates a WidgetModel instance.
16 //
16 //
17 // Parameters
17 // Parameters
18 // ----------
18 // ----------
19 // widget_manager : WidgetManager instance
19 // widget_manager : WidgetManager instance
20 // model_id : string
20 // model_id : string
21 // An ID unique to this model.
21 // An ID unique to this model.
22 // comm : Comm instance (optional)
22 // comm : Comm instance (optional)
23 this.widget_manager = widget_manager;
23 this.widget_manager = widget_manager;
24 this._buffered_state_diff = {};
24 this._buffered_state_diff = {};
25 this.pending_msgs = 0;
25 this.pending_msgs = 0;
26 this.msg_buffer = null;
26 this.msg_buffer = null;
27 this.key_value_lock = null;
27 this.key_value_lock = null;
28 this.id = model_id;
28 this.id = model_id;
29 this.views = [];
29 this.views = [];
30
30
31 if (comm !== undefined) {
31 if (comm !== undefined) {
32 // Remember comm associated with the model.
32 // Remember comm associated with the model.
33 this.comm = comm;
33 this.comm = comm;
34 comm.model = this;
34 comm.model = this;
35
35
36 // Hook comm messages up to model.
36 // Hook comm messages up to model.
37 comm.on_close($.proxy(this._handle_comm_closed, this));
37 comm.on_close($.proxy(this._handle_comm_closed, this));
38 comm.on_msg($.proxy(this._handle_comm_msg, this));
38 comm.on_msg($.proxy(this._handle_comm_msg, this));
39 }
39 }
40 return Backbone.Model.apply(this);
40 return Backbone.Model.apply(this);
41 },
41 },
42
42
43 send: function (content, callbacks) {
43 send: function (content, callbacks) {
44 // Send a custom msg over the comm.
44 // Send a custom msg over the comm.
45 if (this.comm !== undefined) {
45 if (this.comm !== undefined) {
46 var data = {method: 'custom', content: content};
46 var data = {method: 'custom', content: content};
47 this.comm.send(data, callbacks);
47 this.comm.send(data, callbacks);
48 this.pending_msgs++;
48 this.pending_msgs++;
49 }
49 }
50 },
50 },
51
51
52 _handle_comm_closed: function (msg) {
52 _handle_comm_closed: function (msg) {
53 // Handle when a widget is closed.
53 // Handle when a widget is closed.
54 this.trigger('comm:close');
54 this.trigger('comm:close');
55 delete this.comm.model; // Delete ref so GC will collect widget model.
55 delete this.comm.model; // Delete ref so GC will collect widget model.
56 delete this.comm;
56 delete this.comm;
57 delete this.model_id; // Delete id from model so widget manager cleans up.
57 delete this.model_id; // Delete id from model so widget manager cleans up.
58 _.each(this.views, function(view, i) {
58 _.each(this.views, function(view, i) {
59 view.remove();
59 view.remove();
60 });
60 });
61 },
61 },
62
62
63 _handle_comm_msg: function (msg) {
63 _handle_comm_msg: function (msg) {
64 // Handle incoming comm msg.
64 // Handle incoming comm msg.
65 var method = msg.content.data.method;
65 var method = msg.content.data.method;
66 switch (method) {
66 switch (method) {
67 case 'update':
67 case 'update':
68 this.apply_update(msg.content.data.state);
68 this.apply_update(msg.content.data.state);
69 break;
69 break;
70 case 'custom':
70 case 'custom':
71 this.trigger('msg:custom', msg.content.data.content);
71 this.trigger('msg:custom', msg.content.data.content);
72 break;
72 break;
73 case 'display':
73 case 'display':
74 this.widget_manager.display_view(msg, this);
74 this.widget_manager.display_view(msg, this);
75 break;
75 break;
76 }
76 }
77 },
77 },
78
78
79 apply_update: function (state) {
79 apply_update: function (state) {
80 // Handle when a widget is updated via the python side.
80 // Handle when a widget is updated via the python side.
81 var that = this;
81 var that = this;
82 _.each(state, function(value, key) {
82 _.each(state, function(value, key) {
83 that.key_value_lock = [key, value];
83 that.key_value_lock = [key, value];
84 try {
84 try {
85 WidgetModel.__super__.set.apply(that, [key, that._unpack_models(value)]);
85 WidgetModel.__super__.set.apply(that, [key, that._unpack_models(value)]);
86 } finally {
86 } finally {
87 that.key_value_lock = null;
87 that.key_value_lock = null;
88 }
88 }
89 });
89 });
90 },
90 },
91
91
92 _handle_status: function (msg, callbacks) {
92 _handle_status: function (msg, callbacks) {
93 // Handle status msgs.
93 // Handle status msgs.
94
94
95 // execution_state : ('busy', 'idle', 'starting')
95 // execution_state : ('busy', 'idle', 'starting')
96 if (this.comm !== undefined) {
96 if (this.comm !== undefined) {
97 if (msg.content.execution_state ==='idle') {
97 if (msg.content.execution_state ==='idle') {
98 // Send buffer if this message caused another message to be
98 // Send buffer if this message caused another message to be
99 // throttled.
99 // throttled.
100 if (this.msg_buffer !== null &&
100 if (this.msg_buffer !== null &&
101 (this.get('msg_throttle') || 3) === this.pending_msgs) {
101 (this.get('msg_throttle') || 3) === this.pending_msgs) {
102 var data = {method: 'backbone', sync_method: 'update', sync_data: this.msg_buffer};
102 var data = {method: 'backbone', sync_method: 'update', sync_data: this.msg_buffer};
103 this.comm.send(data, callbacks);
103 this.comm.send(data, callbacks);
104 this.msg_buffer = null;
104 this.msg_buffer = null;
105 } else {
105 } else {
106 --this.pending_msgs;
106 --this.pending_msgs;
107 }
107 }
108 }
108 }
109 }
109 }
110 },
110 },
111
111
112 callbacks: function(view) {
112 callbacks: function(view) {
113 // Create msg callbacks for a comm msg.
113 // Create msg callbacks for a comm msg.
114 var callbacks = this.widget_manager.callbacks(view);
114 var callbacks = this.widget_manager.callbacks(view);
115
115
116 if (callbacks.iopub === undefined) {
116 if (callbacks.iopub === undefined) {
117 callbacks.iopub = {};
117 callbacks.iopub = {};
118 }
118 }
119
119
120 var that = this;
120 var that = this;
121 callbacks.iopub.status = function (msg) {
121 callbacks.iopub.status = function (msg) {
122 that._handle_status(msg, callbacks);
122 that._handle_status(msg, callbacks);
123 };
123 };
124 return callbacks;
124 return callbacks;
125 },
125 },
126
126
127 set: function(key, val, options) {
127 set: function(key, val, options) {
128 // Set a value.
128 // Set a value.
129 var return_value = WidgetModel.__super__.set.apply(this, arguments);
129 var return_value = WidgetModel.__super__.set.apply(this, arguments);
130
130
131 // Backbone only remembers the diff of the most recent set()
131 // Backbone only remembers the diff of the most recent set()
132 // operation. Calling set multiple times in a row results in a
132 // operation. Calling set multiple times in a row results in a
133 // loss of diff information. Here we keep our own running diff.
133 // loss of diff information. Here we keep our own running diff.
134 this._buffered_state_diff = $.extend(this._buffered_state_diff, this.changedAttributes() || {});
134 this._buffered_state_diff = $.extend(this._buffered_state_diff, this.changedAttributes() || {});
135 return return_value;
135 return return_value;
136 },
136 },
137
137
138 sync: function (method, model, options) {
138 sync: function (method, model, options) {
139 // Handle sync to the back-end. Called when a model.save() is called.
139 // Handle sync to the back-end. Called when a model.save() is called.
140
140
141 // Make sure a comm exists.
141 // Make sure a comm exists.
142 var error = options.error || function() {
142 var error = options.error || function() {
143 console.error('Backbone sync error:', arguments);
143 console.error('Backbone sync error:', arguments);
144 };
144 };
145 if (this.comm === undefined) {
145 if (this.comm === undefined) {
146 error();
146 error();
147 return false;
147 return false;
148 }
148 }
149
149
150 // Delete any key value pairs that the back-end already knows about.
150 // Delete any key value pairs that the back-end already knows about.
151 var attrs = (method === 'patch') ? options.attrs : model.toJSON(options);
151 var attrs = (method === 'patch') ? options.attrs : model.toJSON(options);
152 if (this.key_value_lock !== null) {
152 if (this.key_value_lock !== null) {
153 var key = this.key_value_lock[0];
153 var key = this.key_value_lock[0];
154 var value = this.key_value_lock[1];
154 var value = this.key_value_lock[1];
155 if (attrs[key] === value) {
155 if (attrs[key] === value) {
156 delete attrs[key];
156 delete attrs[key];
157 }
157 }
158 }
158 }
159
159
160 // Only sync if there are attributes to send to the back-end.
160 // Only sync if there are attributes to send to the back-end.
161 attrs = this._pack_models(attrs);
161 attrs = this._pack_models(attrs);
162 if (_.size(attrs) > 0) {
162 if (_.size(attrs) > 0) {
163
163
164 // If this message was sent via backbone itself, it will not
164 // If this message was sent via backbone itself, it will not
165 // have any callbacks. It's important that we create callbacks
165 // have any callbacks. It's important that we create callbacks
166 // so we can listen for status messages, etc...
166 // so we can listen for status messages, etc...
167 var callbacks = options.callbacks || this.callbacks();
167 var callbacks = options.callbacks || this.callbacks();
168
168
169 // Check throttle.
169 // Check throttle.
170 if (this.pending_msgs >= (this.get('msg_throttle') || 3)) {
170 if (this.pending_msgs >= (this.get('msg_throttle') || 3)) {
171 // The throttle has been exceeded, buffer the current msg so
171 // The throttle has been exceeded, buffer the current msg so
172 // it can be sent once the kernel has finished processing
172 // it can be sent once the kernel has finished processing
173 // some of the existing messages.
173 // some of the existing messages.
174
174
175 // Combine updates if it is a 'patch' sync, otherwise replace updates
175 // Combine updates if it is a 'patch' sync, otherwise replace updates
176 switch (method) {
176 switch (method) {
177 case 'patch':
177 case 'patch':
178 this.msg_buffer = $.extend(this.msg_buffer || {}, attrs);
178 this.msg_buffer = $.extend(this.msg_buffer || {}, attrs);
179 break;
179 break;
180 case 'update':
180 case 'update':
181 case 'create':
181 case 'create':
182 this.msg_buffer = attrs;
182 this.msg_buffer = attrs;
183 break;
183 break;
184 default:
184 default:
185 error();
185 error();
186 return false;
186 return false;
187 }
187 }
188 this.msg_buffer_callbacks = callbacks;
188 this.msg_buffer_callbacks = callbacks;
189
189
190 } else {
190 } else {
191 // We haven't exceeded the throttle, send the message like
191 // We haven't exceeded the throttle, send the message like
192 // normal.
192 // normal.
193 var data = {method: 'backbone', sync_data: attrs};
193 var data = {method: 'backbone', sync_data: attrs};
194 this.comm.send(data, callbacks);
194 this.comm.send(data, callbacks);
195 this.pending_msgs++;
195 this.pending_msgs++;
196 }
196 }
197 }
197 }
198 // Since the comm is a one-way communication, assume the message
198 // Since the comm is a one-way communication, assume the message
199 // arrived. Don't call success since we don't have a model back from the server
199 // arrived. Don't call success since we don't have a model back from the server
200 // this means we miss out on the 'sync' event.
200 // this means we miss out on the 'sync' event.
201 this._buffered_state_diff = {};
201 this._buffered_state_diff = {};
202 },
202 },
203
203
204 save_changes: function(callbacks) {
204 save_changes: function(callbacks) {
205 // Push this model's state to the back-end
205 // Push this model's state to the back-end
206 //
206 //
207 // This invokes a Backbone.Sync.
207 // This invokes a Backbone.Sync.
208 this.save(this._buffered_state_diff, {patch: true, callbacks: callbacks});
208 this.save(this._buffered_state_diff, {patch: true, callbacks: callbacks});
209 },
209 },
210
210
211 _pack_models: function(value) {
211 _pack_models: function(value) {
212 // Replace models with model ids recursively.
212 // Replace models with model ids recursively.
213 var that = this;
213 var that = this;
214 var packed;
214 var packed;
215 if (value instanceof Backbone.Model) {
215 if (value instanceof Backbone.Model) {
216 return "IPY_MODEL_" + value.id;
216 return "IPY_MODEL_" + value.id;
217
217
218 } else if ($.isArray(value)) {
218 } else if ($.isArray(value)) {
219 packed = [];
219 packed = [];
220 _.each(value, function(sub_value, key) {
220 _.each(value, function(sub_value, key) {
221 packed.push(that._pack_models(sub_value));
221 packed.push(that._pack_models(sub_value));
222 });
222 });
223 return packed;
223 return packed;
224
224
225 } else if (value instanceof Object) {
225 } else if (value instanceof Object) {
226 packed = {};
226 packed = {};
227 _.each(value, function(sub_value, key) {
227 _.each(value, function(sub_value, key) {
228 packed[key] = that._pack_models(sub_value);
228 packed[key] = that._pack_models(sub_value);
229 });
229 });
230 return packed;
230 return packed;
231
231
232 } else {
232 } else {
233 return value;
233 return value;
234 }
234 }
235 },
235 },
236
236
237 _unpack_models: function(value) {
237 _unpack_models: function(value) {
238 // Replace model ids with models recursively.
238 // Replace model ids with models recursively.
239 var that = this;
239 var that = this;
240 var unpacked;
240 var unpacked;
241 if ($.isArray(value)) {
241 if ($.isArray(value)) {
242 unpacked = [];
242 unpacked = [];
243 _.each(value, function(sub_value, key) {
243 _.each(value, function(sub_value, key) {
244 unpacked.push(that._unpack_models(sub_value));
244 unpacked.push(that._unpack_models(sub_value));
245 });
245 });
246 return unpacked;
246 return unpacked;
247
247
248 } else if (value instanceof Object) {
248 } else if (value instanceof Object) {
249 unpacked = {};
249 unpacked = {};
250 _.each(value, function(sub_value, key) {
250 _.each(value, function(sub_value, key) {
251 unpacked[key] = that._unpack_models(sub_value);
251 unpacked[key] = that._unpack_models(sub_value);
252 });
252 });
253 return unpacked;
253 return unpacked;
254
254
255 } else if (typeof value === 'string' && value.slice(0,10) === "IPY_MODEL_") {
255 } else if (typeof value === 'string' && value.slice(0,10) === "IPY_MODEL_") {
256 var model = this.widget_manager.get_model(value.slice(10, value.length));
256 var model = this.widget_manager.get_model(value.slice(10, value.length));
257 if (model) {
257 if (model) {
258 return model;
258 return model;
259 } else {
259 } else {
260 return value;
260 return value;
261 }
261 }
262 } else {
262 } else {
263 return value;
263 return value;
264 }
264 }
265 },
265 },
266
266
267 });
267 });
268 widgetmanager.WidgetManager.register_widget_model('WidgetModel', WidgetModel);
268 widgetmanager.WidgetManager.register_widget_model('WidgetModel', WidgetModel);
269
269
270
270
271 var WidgetView = Backbone.View.extend({
271 var WidgetView = Backbone.View.extend({
272 initialize: function(parameters) {
272 initialize: function(parameters) {
273 // Public constructor.
273 // Public constructor.
274 this.model.on('change',this.update,this);
274 this.model.on('change',this.update,this);
275 this.options = parameters.options;
275 this.options = parameters.options;
276 this.child_model_views = {};
276 this.child_model_views = {};
277 this.child_views = {};
277 this.child_views = {};
278 this.model.views.push(this);
278 this.model.views.push(this);
279 this.id = this.id || IPython.utils.uuid();
279 this.id = this.id || IPython.utils.uuid();
280 this.on('displayed', function() {
280 this.on('displayed', function() {
281 this.is_displayed = true;
281 this.is_displayed = true;
282 }, this);
282 }, this);
283 },
283 },
284
284
285 update: function(){
285 update: function(){
286 // Triggered on model change.
286 // Triggered on model change.
287 //
287 //
288 // Update view to be consistent with this.model
288 // Update view to be consistent with this.model
289 },
289 },
290
290
291 create_child_view: function(child_model, options) {
291 create_child_view: function(child_model, options) {
292 // Create and return a child view.
292 // Create and return a child view.
293 //
293 //
294 // -given a model and (optionally) a view name if the view name is
294 // -given a model and (optionally) a view name if the view name is
295 // not given, it defaults to the model's default view attribute.
295 // not given, it defaults to the model's default view attribute.
296
296
297 // TODO: this is hacky, and makes the view depend on this cell attribute and widget manager behavior
297 // TODO: this is hacky, and makes the view depend on this cell attribute and widget manager behavior
298 // it would be great to have the widget manager add the cell metadata
298 // it would be great to have the widget manager add the cell metadata
299 // to the subview without having to add it here.
299 // to the subview without having to add it here.
300 options = $.extend({ parent: this }, options || {});
300 options = $.extend({ parent: this }, options || {});
301 var child_view = this.model.widget_manager.create_view(child_model, options, this);
301 var child_view = this.model.widget_manager.create_view(child_model, options, this);
302
302
303 // Associate the view id with the model id.
303 // Associate the view id with the model id.
304 if (this.child_model_views[child_model.id] === undefined) {
304 if (this.child_model_views[child_model.id] === undefined) {
305 this.child_model_views[child_model.id] = [];
305 this.child_model_views[child_model.id] = [];
306 }
306 }
307 this.child_model_views[child_model.id].push(child_view.id);
307 this.child_model_views[child_model.id].push(child_view.id);
308
308
309 // Remember the view by id.
309 // Remember the view by id.
310 this.child_views[child_view.id] = child_view;
310 this.child_views[child_view.id] = child_view;
311 return child_view;
311 return child_view;
312 },
312 },
313
313
314 pop_child_view: function(child_model) {
314 pop_child_view: function(child_model) {
315 // Delete a child view that was previously created using create_child_view.
315 // Delete a child view that was previously created using create_child_view.
316 var view_ids = this.child_model_views[child_model.id];
316 var view_ids = this.child_model_views[child_model.id];
317 if (view_ids !== undefined) {
317 if (view_ids !== undefined) {
318
318
319 // Only delete the first view in the list.
319 // Only delete the first view in the list.
320 var view_id = view_ids[0];
320 var view_id = view_ids[0];
321 var view = this.child_views[view_id];
321 var view = this.child_views[view_id];
322 delete this.child_views[view_id];
322 delete this.child_views[view_id];
323 view_ids.splice(0,1);
323 view_ids.splice(0,1);
324 child_model.views.pop(view);
324 child_model.views.pop(view);
325
325
326 // Remove the view list specific to this model if it is empty.
326 // Remove the view list specific to this model if it is empty.
327 if (view_ids.length === 0) {
327 if (view_ids.length === 0) {
328 delete this.child_model_views[child_model.id];
328 delete this.child_model_views[child_model.id];
329 }
329 }
330 return view;
330 return view;
331 }
331 }
332 return null;
332 return null;
333 },
333 },
334
334
335 do_diff: function(old_list, new_list, removed_callback, added_callback) {
335 do_diff: function(old_list, new_list, removed_callback, added_callback) {
336 // Difference a changed list and call remove and add callbacks for
336 // Difference a changed list and call remove and add callbacks for
337 // each removed and added item in the new list.
337 // each removed and added item in the new list.
338 //
338 //
339 // Parameters
339 // Parameters
340 // ----------
340 // ----------
341 // old_list : array
341 // old_list : array
342 // new_list : array
342 // new_list : array
343 // removed_callback : Callback(item)
343 // removed_callback : Callback(item)
344 // Callback that is called for each item removed.
344 // Callback that is called for each item removed.
345 // added_callback : Callback(item)
345 // added_callback : Callback(item)
346 // Callback that is called for each item added.
346 // Callback that is called for each item added.
347
347
348 // Walk the lists until an unequal entry is found.
348 // Walk the lists until an unequal entry is found.
349 var i;
349 var i;
350 for (i = 0; i < new_list.length; i++) {
350 for (i = 0; i < new_list.length; i++) {
351 if (i < old_list.length || new_list[i] !== old_list[i]) {
351 if (i < old_list.length || new_list[i] !== old_list[i]) {
352 break;
352 break;
353 }
353 }
354 }
354 }
355
355
356 // Remove the non-matching items from the old list.
356 // Remove the non-matching items from the old list.
357 for (var j = i; j < old_list.length; j++) {
357 for (var j = i; j < old_list.length; j++) {
358 removed_callback(old_list[j]);
358 removed_callback(old_list[j]);
359 }
359 }
360
360
361 // Add the rest of the new list items.
361 // Add the rest of the new list items.
362 for (i; i < new_list.length; i++) {
362 for (i; i < new_list.length; i++) {
363 added_callback(new_list[i]);
363 added_callback(new_list[i]);
364 }
364 }
365 },
365 },
366
366
367 callbacks: function(){
367 callbacks: function(){
368 // Create msg callbacks for a comm msg.
368 // Create msg callbacks for a comm msg.
369 return this.model.callbacks(this);
369 return this.model.callbacks(this);
370 },
370 },
371
371
372 render: function(){
372 render: function(){
373 // Render the view.
373 // Render the view.
374 //
374 //
375 // By default, this is only called the first time the view is created
375 // By default, this is only called the first time the view is created
376 },
376 },
377
377
378 show: function(){
378 show: function(){
379 // Show the widget-area
379 // Show the widget-area
380 if (this.options && this.options.cell &&
380 if (this.options && this.options.cell &&
381 this.options.cell.widget_area !== undefined) {
381 this.options.cell.widget_area !== undefined) {
382 this.options.cell.widget_area.show();
382 this.options.cell.widget_area.show();
383 }
383 }
384 },
384 },
385
385
386 send: function (content) {
386 send: function (content) {
387 // Send a custom msg associated with this view.
387 // Send a custom msg associated with this view.
388 this.model.send(content, this.callbacks());
388 this.model.send(content, this.callbacks());
389 },
389 },
390
390
391 touch: function () {
391 touch: function () {
392 this.model.save_changes(this.callbacks());
392 this.model.save_changes(this.callbacks());
393 },
393 },
394
394
395 after_displayed: function (callback, context) {
395 after_displayed: function (callback, context) {
396 // Calls the callback right away is the view is already displayed
396 // Calls the callback right away is the view is already displayed
397 // otherwise, register the callback to the 'displayed' event.
397 // otherwise, register the callback to the 'displayed' event.
398 if (this.is_displayed) {
398 if (this.is_displayed) {
399 callback.apply(context);
399 callback.apply(context);
400 } else {
400 } else {
401 this.on('displayed', callback, context);
401 this.on('displayed', callback, context);
402 }
402 }
403 },
403 },
404 });
404 });
405
405
406
406
407 var DOMWidgetView = WidgetView.extend({
407 var DOMWidgetView = WidgetView.extend({
408 initialize: function (options) {
408 initialize: function (options) {
409 // Public constructor
409 // Public constructor
410
411 // In the future we may want to make changes more granular
412 // (e.g., trigger on visible:change).
413 this.model.on('change', this.update, this);
414 this.model.on('msg:custom', this.on_msg, this);
415 DOMWidgetView.__super__.initialize.apply(this, arguments);
410 DOMWidgetView.__super__.initialize.apply(this, arguments);
416 this.on('displayed', this.show, this);
411 this.on('displayed', this.show, this);
412
413 this.model.on('msg:custom', this.on_msg, this);
414 this.model.on('change:visible', this.update_visible, this);
415 this.model.on('change:_css', this.update_css, this);
416
417 this.update_visible(this.model, this.model.get("visible"));
418 this.update_css(this.model, this.model.get("_css"));
417 },
419 },
418
420
419 on_msg: function(msg) {
421 on_msg: function(msg) {
420 // Handle DOM specific msgs.
422 // Handle DOM specific msgs.
421 switch(msg.msg_type) {
423 switch(msg.msg_type) {
422 case 'add_class':
424 case 'add_class':
423 this.add_class(msg.selector, msg.class_list);
425 this.add_class(msg.selector, msg.class_list);
424 break;
426 break;
425 case 'remove_class':
427 case 'remove_class':
426 this.remove_class(msg.selector, msg.class_list);
428 this.remove_class(msg.selector, msg.class_list);
427 break;
429 break;
428 }
430 }
429 },
431 },
430
432
431 add_class: function (selector, class_list) {
433 add_class: function (selector, class_list) {
432 // Add a DOM class to an element.
434 // Add a DOM class to an element.
433 this._get_selector_element(selector).addClass(class_list);
435 this._get_selector_element(selector).addClass(class_list);
434 },
436 },
435
437
436 remove_class: function (selector, class_list) {
438 remove_class: function (selector, class_list) {
437 // Remove a DOM class from an element.
439 // Remove a DOM class from an element.
438 this._get_selector_element(selector).removeClass(class_list);
440 this._get_selector_element(selector).removeClass(class_list);
439 },
441 },
440
442
441 update: function () {
443 update_visible: function(model, value) {
442 // Update the contents of this view
444 // Update visibility
443 //
444 // Called when the model is changed. The model may have been
445 // changed by another view or by a state update from the back-end.
446 // The very first update seems to happen before the element is
445 // The very first update seems to happen before the element is
447 // finished rendering so we use setTimeout to give the element time
446 // finished rendering so we use setTimeout to give the element time
448 // to render
447 // to render
449 var e = this.$el;
448 var e = this.$el;
450 var visible = this.model.get('visible');
449 setTimeout(function() {e.toggle(value);},0);
451 setTimeout(function() {e.toggle(visible);},0);
450 },
452
451
453 var css = this.model.get('_css');
452 update_css: function (model, css) {
453 // Update the contents of this view
454 var e = this.$el;
454 if (css === undefined) {return;}
455 if (css === undefined) {return;}
455 for (var i = 0; i < css.length; i++) {
456 for (var i = 0; i < css.length; i++) {
456 // Apply the css traits to all elements that match the selector.
457 // Apply the css traits to all elements that match the selector.
457 var selector = css[i][0];
458 var selector = css[i][0];
458 var elements = this._get_selector_element(selector);
459 var elements = this._get_selector_element(selector);
459 if (elements.length > 0) {
460 if (elements.length > 0) {
460 var trait_key = css[i][1];
461 var trait_key = css[i][1];
461 var trait_value = css[i][2];
462 var trait_value = css[i][2];
462 elements.css(trait_key ,trait_value);
463 elements.css(trait_key ,trait_value);
463 }
464 }
464 }
465 }
465 },
466 },
466
467
467 _get_selector_element: function (selector) {
468 _get_selector_element: function (selector) {
468 // Get the elements via the css selector.
469 // Get the elements via the css selector.
469
470
470 // If the selector is blank, apply the style to the $el_to_style
471 // If the selector is blank, apply the style to the $el_to_style
471 // element. If the $el_to_style element is not defined, use apply
472 // element. If the $el_to_style element is not defined, use apply
472 // the style to the view's element.
473 // the style to the view's element.
473 var elements;
474 var elements;
474 if (!selector) {
475 if (!selector) {
475 if (this.$el_to_style === undefined) {
476 if (this.$el_to_style === undefined) {
476 elements = this.$el;
477 elements = this.$el;
477 } else {
478 } else {
478 elements = this.$el_to_style;
479 elements = this.$el_to_style;
479 }
480 }
480 } else {
481 } else {
481 elements = this.$el.find(selector);
482 elements = this.$el.find(selector);
482 }
483 }
483 return elements;
484 return elements;
484 },
485 },
485 });
486 });
486
487
487 var widget = {
488 var widget = {
488 'WidgetModel': WidgetModel,
489 'WidgetModel': WidgetModel,
489 'WidgetView': WidgetView,
490 'WidgetView': WidgetView,
490 'DOMWidgetView': DOMWidgetView,
491 'DOMWidgetView': DOMWidgetView,
491 };
492 };
492
493
493 // For backwards compatability.
494 // For backwards compatability.
494 $.extend(IPython, widget);
495 $.extend(IPython, widget);
495
496
496 return widget;
497 return widget;
497 });
498 });
@@ -1,292 +1,282 b''
1 // Copyright (c) IPython Development Team.
1 // Copyright (c) IPython Development Team.
2 // Distributed under the terms of the Modified BSD License.
2 // Distributed under the terms of the Modified BSD License.
3
3
4 define([
4 define([
5 "widgets/js/widget",
5 "widgets/js/widget",
6 "jqueryui",
6 "jqueryui",
7 "bootstrap",
7 "bootstrap",
8 ], function(widget, $){
8 ], function(widget, $){
9
9
10 var ContainerView = widget.DOMWidgetView.extend({
10 var ContainerView = widget.DOMWidgetView.extend({
11 render: function(){
11 render: function(){
12 // Called when view is rendered.
12 // Called when view is rendered.
13 this.$el.addClass('widget-container')
13 this.$el.addClass('widget-container')
14 .addClass('vbox');
14 .addClass('vbox');
15 this.update_children([], this.model.get('children'));
15 this.update_children([], this.model.get('children'));
16 this.model.on('change:children', function(model, value, options) {
16 this.model.on('change:children', function(model, value) {
17 this.update_children(model.previous('children'), value);
17 this.update_children(model.previous('children'), value);
18 }, this);
18 }, this);
19 this.update();
20 },
19 },
21
20
22 update_children: function(old_list, new_list) {
21 update_children: function(old_list, new_list) {
23 // Called when the children list changes.
22 // Called when the children list changes.
24 this.do_diff(old_list,
23 this.do_diff(old_list,
25 new_list,
24 new_list,
26 $.proxy(this.remove_child_model, this),
25 $.proxy(this.remove_child_model, this),
27 $.proxy(this.add_child_model, this));
26 $.proxy(this.add_child_model, this));
28 },
27 },
29
28
30 remove_child_model: function(model) {
29 remove_child_model: function(model) {
31 // Called when a model is removed from the children list.
30 // Called when a model is removed from the children list.
32 this.pop_child_view(model).remove();
31 this.pop_child_view(model).remove();
33 },
32 },
34
33
35 add_child_model: function(model) {
34 add_child_model: function(model) {
36 // Called when a model is added to the children list.
35 // Called when a model is added to the children list.
37 var view = this.create_child_view(model);
36 var view = this.create_child_view(model);
38 this.$el.append(view.$el);
37 this.$el.append(view.$el);
39
38
40 // Trigger the displayed event once this view is displayed.
39 // Trigger the displayed event once this view is displayed.
41 this.after_displayed(function() {
40 this.after_displayed(function() {
42 view.trigger('displayed');
41 view.trigger('displayed');
43 });
42 });
44 },
43 },
45
46 update: function(){
47 // Update the contents of this view
48 //
49 // Called when the model is changed. The model may have been
50 // changed by another view or by a state update from the back-end.
51 return ContainerView.__super__.update.apply(this);
52 },
53 });
44 });
54
45
55
46
56 var PopupView = widget.DOMWidgetView.extend({
47 var PopupView = widget.DOMWidgetView.extend({
57 render: function(){
48 render: function(){
58 // Called when view is rendered.
49 // Called when view is rendered.
59 var that = this;
50 var that = this;
60
51
61 this.$el.on("remove", function(){
52 this.$el.on("remove", function(){
62 that.$backdrop.remove();
53 that.$backdrop.remove();
63 });
54 });
64 this.$backdrop = $('<div />')
55 this.$backdrop = $('<div />')
65 .appendTo($('#notebook-container'))
56 .appendTo($('#notebook-container'))
66 .addClass('modal-dialog')
57 .addClass('modal-dialog')
67 .css('position', 'absolute')
58 .css('position', 'absolute')
68 .css('left', '0px')
59 .css('left', '0px')
69 .css('top', '0px');
60 .css('top', '0px');
70 this.$window = $('<div />')
61 this.$window = $('<div />')
71 .appendTo(this.$backdrop)
62 .appendTo(this.$backdrop)
72 .addClass('modal-content widget-modal')
63 .addClass('modal-content widget-modal')
73 .mousedown(function(){
64 .mousedown(function(){
74 that.bring_to_front();
65 that.bring_to_front();
75 });
66 });
76
67
77 // Set the elements array since the this.$window element is not child
68 // Set the elements array since the this.$window element is not child
78 // of this.$el and the parent widget manager or other widgets may
69 // of this.$el and the parent widget manager or other widgets may
79 // need to know about all of the top-level widgets. The IPython
70 // need to know about all of the top-level widgets. The IPython
80 // widget manager uses this to register the elements with the
71 // widget manager uses this to register the elements with the
81 // keyboard manager.
72 // keyboard manager.
82 this.additional_elements = [this.$window];
73 this.additional_elements = [this.$window];
83
74
84 this.$title_bar = $('<div />')
75 this.$title_bar = $('<div />')
85 .addClass('popover-title')
76 .addClass('popover-title')
86 .appendTo(this.$window)
77 .appendTo(this.$window)
87 .mousedown(function(){
78 .mousedown(function(){
88 that.bring_to_front();
79 that.bring_to_front();
89 });
80 });
90 this.$close = $('<button />')
81 this.$close = $('<button />')
91 .addClass('close icon-remove')
82 .addClass('close icon-remove')
92 .css('margin-left', '5px')
83 .css('margin-left', '5px')
93 .appendTo(this.$title_bar)
84 .appendTo(this.$title_bar)
94 .click(function(){
85 .click(function(){
95 that.hide();
86 that.hide();
96 event.stopPropagation();
87 event.stopPropagation();
97 });
88 });
98 this.$minimize = $('<button />')
89 this.$minimize = $('<button />')
99 .addClass('close icon-arrow-down')
90 .addClass('close icon-arrow-down')
100 .appendTo(this.$title_bar)
91 .appendTo(this.$title_bar)
101 .click(function(){
92 .click(function(){
102 that.popped_out = !that.popped_out;
93 that.popped_out = !that.popped_out;
103 if (!that.popped_out) {
94 if (!that.popped_out) {
104 that.$minimize
95 that.$minimize
105 .removeClass('icon-arrow-down')
96 .removeClass('icon-arrow-down')
106 .addClass('icon-arrow-up');
97 .addClass('icon-arrow-up');
107
98
108 that.$window
99 that.$window
109 .draggable('destroy')
100 .draggable('destroy')
110 .resizable('destroy')
101 .resizable('destroy')
111 .removeClass('widget-modal modal-content')
102 .removeClass('widget-modal modal-content')
112 .addClass('docked-widget-modal')
103 .addClass('docked-widget-modal')
113 .detach()
104 .detach()
114 .insertBefore(that.$show_button);
105 .insertBefore(that.$show_button);
115 that.$show_button.hide();
106 that.$show_button.hide();
116 that.$close.hide();
107 that.$close.hide();
117 } else {
108 } else {
118 that.$minimize
109 that.$minimize
119 .addClass('icon-arrow-down')
110 .addClass('icon-arrow-down')
120 .removeClass('icon-arrow-up');
111 .removeClass('icon-arrow-up');
121
112
122 that.$window
113 that.$window
123 .removeClass('docked-widget-modal')
114 .removeClass('docked-widget-modal')
124 .addClass('widget-modal modal-content')
115 .addClass('widget-modal modal-content')
125 .detach()
116 .detach()
126 .appendTo(that.$backdrop)
117 .appendTo(that.$backdrop)
127 .draggable({handle: '.popover-title', snap: '#notebook, .modal', snapMode: 'both'})
118 .draggable({handle: '.popover-title', snap: '#notebook, .modal', snapMode: 'both'})
128 .resizable()
119 .resizable()
129 .children('.ui-resizable-handle').show();
120 .children('.ui-resizable-handle').show();
130 that.show();
121 that.show();
131 that.$show_button.show();
122 that.$show_button.show();
132 that.$close.show();
123 that.$close.show();
133 }
124 }
134 event.stopPropagation();
125 event.stopPropagation();
135 });
126 });
136 this.$title = $('<div />')
127 this.$title = $('<div />')
137 .addClass('widget-modal-title')
128 .addClass('widget-modal-title')
138 .html("&nbsp;")
129 .html("&nbsp;")
139 .appendTo(this.$title_bar);
130 .appendTo(this.$title_bar);
140 this.$body = $('<div />')
131 this.$body = $('<div />')
141 .addClass('modal-body')
132 .addClass('modal-body')
142 .addClass('widget-modal-body')
133 .addClass('widget-modal-body')
143 .addClass('widget-container')
134 .addClass('widget-container')
144 .addClass('vbox')
135 .addClass('vbox')
145 .appendTo(this.$window);
136 .appendTo(this.$window);
146
137
147 this.$show_button = $('<button />')
138 this.$show_button = $('<button />')
148 .html("&nbsp;")
139 .html("&nbsp;")
149 .addClass('btn btn-info widget-modal-show')
140 .addClass('btn btn-info widget-modal-show')
150 .appendTo(this.$el)
141 .appendTo(this.$el)
151 .click(function(){
142 .click(function(){
152 that.show();
143 that.show();
153 });
144 });
154
145
155 this.$window.draggable({handle: '.popover-title', snap: '#notebook, .modal', snapMode: 'both'});
146 this.$window.draggable({handle: '.popover-title', snap: '#notebook, .modal', snapMode: 'both'});
156 this.$window.resizable();
147 this.$window.resizable();
157 this.$window.on('resize', function(){
148 this.$window.on('resize', function(){
158 that.$body.outerHeight(that.$window.innerHeight() - that.$title_bar.outerHeight());
149 that.$body.outerHeight(that.$window.innerHeight() - that.$title_bar.outerHeight());
159 });
150 });
160
151
161 this.$el_to_style = this.$body;
152 this.$el_to_style = this.$body;
162 this._shown_once = false;
153 this._shown_once = false;
163 this.popped_out = true;
154 this.popped_out = true;
164
155
165 this.update_children([], this.model.get('children'));
156 this.update_children([], this.model.get('children'));
166 this.model.on('change:children', function(model, value, options) {
157 this.model.on('change:children', function(model, value) {
167 this.update_children(model.previous('children'), value);
158 this.update_children(model.previous('children'), value);
168 }, this);
159 }, this);
169 this.update();
170 },
160 },
171
161
172 hide: function() {
162 hide: function() {
173 // Called when the modal hide button is clicked.
163 // Called when the modal hide button is clicked.
174 this.$window.hide();
164 this.$window.hide();
175 this.$show_button.removeClass('btn-info');
165 this.$show_button.removeClass('btn-info');
176 },
166 },
177
167
178 show: function() {
168 show: function() {
179 // Called when the modal show button is clicked.
169 // Called when the modal show button is clicked.
180 this.$show_button.addClass('btn-info');
170 this.$show_button.addClass('btn-info');
181 this.$window.show();
171 this.$window.show();
182 if (this.popped_out) {
172 if (this.popped_out) {
183 this.$window.css("positon", "absolute");
173 this.$window.css("positon", "absolute");
184 this.$window.css("top", "0px");
174 this.$window.css("top", "0px");
185 this.$window.css("left", Math.max(0, (($('body').outerWidth() - this.$window.outerWidth()) / 2) +
175 this.$window.css("left", Math.max(0, (($('body').outerWidth() - this.$window.outerWidth()) / 2) +
186 $(window).scrollLeft()) + "px");
176 $(window).scrollLeft()) + "px");
187 this.bring_to_front();
177 this.bring_to_front();
188 }
178 }
189 },
179 },
190
180
191 bring_to_front: function() {
181 bring_to_front: function() {
192 // Make the modal top-most, z-ordered about the other modals.
182 // Make the modal top-most, z-ordered about the other modals.
193 var $widget_modals = $(".widget-modal");
183 var $widget_modals = $(".widget-modal");
194 var max_zindex = 0;
184 var max_zindex = 0;
195 $widget_modals.each(function (index, el){
185 $widget_modals.each(function (index, el){
196 var zindex = parseInt($(el).css('z-index'));
186 var zindex = parseInt($(el).css('z-index'));
197 if (!isNaN(zindex)) {
187 if (!isNaN(zindex)) {
198 max_zindex = Math.max(max_zindex, zindex);
188 max_zindex = Math.max(max_zindex, zindex);
199 }
189 }
200 });
190 });
201
191
202 // Start z-index of widget modals at 2000
192 // Start z-index of widget modals at 2000
203 max_zindex = Math.max(max_zindex, 2000);
193 max_zindex = Math.max(max_zindex, 2000);
204
194
205 $widget_modals.each(function (index, el){
195 $widget_modals.each(function (index, el){
206 $el = $(el);
196 $el = $(el);
207 if (max_zindex == parseInt($el.css('z-index'))) {
197 if (max_zindex == parseInt($el.css('z-index'))) {
208 $el.css('z-index', max_zindex - 1);
198 $el.css('z-index', max_zindex - 1);
209 }
199 }
210 });
200 });
211 this.$window.css('z-index', max_zindex);
201 this.$window.css('z-index', max_zindex);
212 },
202 },
213
203
214 update_children: function(old_list, new_list) {
204 update_children: function(old_list, new_list) {
215 // Called when the children list is modified.
205 // Called when the children list is modified.
216 this.do_diff(old_list,
206 this.do_diff(old_list,
217 new_list,
207 new_list,
218 $.proxy(this.remove_child_model, this),
208 $.proxy(this.remove_child_model, this),
219 $.proxy(this.add_child_model, this));
209 $.proxy(this.add_child_model, this));
220 },
210 },
221
211
222 remove_child_model: function(model) {
212 remove_child_model: function(model) {
223 // Called when a child is removed from children list.
213 // Called when a child is removed from children list.
224 this.pop_child_view(model).remove();
214 this.pop_child_view(model).remove();
225 },
215 },
226
216
227 add_child_model: function(model) {
217 add_child_model: function(model) {
228 // Called when a child is added to children list.
218 // Called when a child is added to children list.
229 var view = this.create_child_view(model);
219 var view = this.create_child_view(model);
230 this.$body.append(view.$el);
220 this.$body.append(view.$el);
231
221
232 // Trigger the displayed event once this view is displayed.
222 // Trigger the displayed event once this view is displayed.
233 this.after_displayed(function() {
223 this.after_displayed(function() {
234 view.trigger('displayed');
224 view.trigger('displayed');
235 });
225 });
236 },
226 },
237
227
238 update: function(){
228 update: function(){
239 // Update the contents of this view
229 // Update the contents of this view
240 //
230 //
241 // Called when the model is changed. The model may have been
231 // Called when the model is changed. The model may have been
242 // changed by another view or by a state update from the back-end.
232 // changed by another view or by a state update from the back-end.
243 var description = this.model.get('description');
233 var description = this.model.get('description');
244 if (description.trim().length === 0) {
234 if (description.trim().length === 0) {
245 this.$title.html("&nbsp;"); // Preserve title height
235 this.$title.html("&nbsp;"); // Preserve title height
246 } else {
236 } else {
247 this.$title.text(description);
237 this.$title.text(description);
248 MathJax.Hub.Queue(["Typeset",MathJax.Hub,this.$title.get(0)]);
238 MathJax.Hub.Queue(["Typeset",MathJax.Hub,this.$title.get(0)]);
249 }
239 }
250
240
251 var button_text = this.model.get('button_text');
241 var button_text = this.model.get('button_text');
252 if (button_text.trim().length === 0) {
242 if (button_text.trim().length === 0) {
253 this.$show_button.html("&nbsp;"); // Preserve button height
243 this.$show_button.html("&nbsp;"); // Preserve button height
254 } else {
244 } else {
255 this.$show_button.text(button_text);
245 this.$show_button.text(button_text);
256 }
246 }
257
247
258 if (!this._shown_once) {
248 if (!this._shown_once) {
259 this._shown_once = true;
249 this._shown_once = true;
260 this.show();
250 this.show();
261 }
251 }
262
252
263 return PopupView.__super__.update.apply(this);
253 return PopupView.__super__.update.apply(this);
264 },
254 },
265
255
266 _get_selector_element: function(selector) {
256 _get_selector_element: function(selector) {
267 // Get an element view a 'special' jquery selector. (see widget.js)
257 // Get an element view a 'special' jquery selector. (see widget.js)
268 //
258 //
269 // Since the modal actually isn't within the $el in the DOM, we need to extend
259 // Since the modal actually isn't within the $el in the DOM, we need to extend
270 // the selector logic to allow the user to set css on the modal if need be.
260 // the selector logic to allow the user to set css on the modal if need be.
271 // The convention used is:
261 // The convention used is:
272 // "modal" - select the modal div
262 // "modal" - select the modal div
273 // "modal [selector]" - select element(s) within the modal div.
263 // "modal [selector]" - select element(s) within the modal div.
274 // "[selector]" - select elements within $el
264 // "[selector]" - select elements within $el
275 // "" - select the $el_to_style
265 // "" - select the $el_to_style
276 if (selector.substring(0, 5) == 'modal') {
266 if (selector.substring(0, 5) == 'modal') {
277 if (selector == 'modal') {
267 if (selector == 'modal') {
278 return this.$window;
268 return this.$window;
279 } else {
269 } else {
280 return this.$window.find(selector.substring(6));
270 return this.$window.find(selector.substring(6));
281 }
271 }
282 } else {
272 } else {
283 return PopupView.__super__._get_selector_element.apply(this, [selector]);
273 return PopupView.__super__._get_selector_element.apply(this, [selector]);
284 }
274 }
285 },
275 },
286 });
276 });
287
277
288 return {
278 return {
289 'ContainerView': ContainerView,
279 'ContainerView': ContainerView,
290 'PopupView': PopupView,
280 'PopupView': PopupView,
291 };
281 };
292 });
282 });
General Comments 0
You need to be logged in to leave comments. Login now