From 32a8d43afc3debdfe67f0f0a1f04cdf768c115b9 Mon Sep 17 00:00:00 2001 From: Jonathan Frederic Date: Fri, 6 Dec 2013 01:07:46 +0000 Subject: [PATCH] - ModalView can now be docked and undocked - Clicking on a ModalView will bring it to the front --- .../static/notebook/js/widgets/container.js | 86 ++++++++++++++++--- 1 file changed, 76 insertions(+), 10 deletions(-) diff --git a/IPython/html/static/notebook/js/widgets/container.js b/IPython/html/static/notebook/js/widgets/container.js index ffedeee31..458c7dd7a 100644 --- a/IPython/html/static/notebook/js/widgets/container.js +++ b/IPython/html/static/notebook/js/widgets/container.js @@ -78,19 +78,62 @@ define(["notebook/js/widget"], function(widget_manager) { }); this.$window = $('
') .addClass('modal widget-modal') - .appendTo($('#notebook-container')); + .appendTo($('#notebook-container')) + .mousedown(function(){ + that.bring_to_front(); + }); this.$title_bar = $('
') .addClass('popover-title') - .appendTo(this.$window); - var that = this; - $('