From 428a8bf08d87cced7d54356d4004d14f1fcefe16 2014-01-16 10:57:07 From: Jonathan Frederic Date: 2014-01-16 10:57:07 Subject: [PATCH] - ModalView can now be docked and undocked - Clicking on a ModalView will bring it to the front --- diff --git a/IPython/html/static/notebook/js/widgets/container.js b/IPython/html/static/notebook/js/widgets/container.js index ffedeee..458c7dd 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; - $('