diff --git a/IPython/frontend/html/notebook/static/js/pager.js b/IPython/frontend/html/notebook/static/js/pager.js index 02afaa1..d57b4e6 100644 --- a/IPython/frontend/html/notebook/static/js/pager.js +++ b/IPython/frontend/html/notebook/static/js/pager.js @@ -22,15 +22,15 @@ var IPython = (function (IPython) { containment: 'window', axis:'y', helper: null , - drag: function(event,ui){ + drag: function(event, ui) { // recalculate the amount of space the pager should take - var pheight =($(body).height()-event.clientY-4); + var pheight = ($(body).height()-event.clientY-4); var downprct = pheight/IPython.layout_manager.app_height(); - downprct = Math.min(0.9,downprct); - if(downprct < 0.1) { + downprct = Math.min(0.9, downprct); + if (downprct < 0.1) { that.percentage_height = 0.1; that.collapse({'duration':0}); - } else if(downprct > 0.2) { + } else if (downprct > 0.2) { that.percentage_height = downprct; that.expand({'duration':0}); } @@ -52,12 +52,12 @@ var IPython = (function (IPython) { Pager.prototype.bind_events = function () { var that = this; - this.pager_element.bind('collapse_pager', function (event,extrap) { + this.pager_element.bind('collapse_pager', function (event, extrap) { time = (extrap != undefined) ? ((extrap.duration != undefined ) ? extrap.duration : 'fast') : 'fast'; that.pager_element.hide(time); }); - this.pager_element.bind('expand_pager', function (event,extrap) { + this.pager_element.bind('expand_pager', function (event, extrap) { time = (extrap != undefined) ? ((extrap.duration != undefined ) ? extrap.duration : 'fast') : 'fast'; that.pager_element.show(time); }); @@ -81,7 +81,7 @@ var IPython = (function (IPython) { Pager.prototype.collapse = function (extrap) { if (this.expanded === true) { this.expanded = false; - this.pager_element.add($('div#notebook')).trigger('collapse_pager',extrap); + this.pager_element.add($('div#notebook')).trigger('collapse_pager', extrap); }; }; @@ -89,7 +89,7 @@ var IPython = (function (IPython) { Pager.prototype.expand = function (extrap) { if (this.expanded !== true) { this.expanded = true; - this.pager_element.add($('div#notebook')).trigger('expand_pager',extrap); + this.pager_element.add($('div#notebook')).trigger('expand_pager', extrap); }; };