add tooltip to pager button

14 years ago · 645ac8df8e
parent 5134212a4c
commit 645ac8df8e
1 changed files with 1 additions and 0 deletions
--- a/IPython/frontend/html/notebook/static/js/pager.js
+++ b/IPython/frontend/html/notebook/static/js/pager.js
@ -48,6 +48,7 @@ var IPython = (function (IPython) {
        var that = this;
        this.pager_button_area.append(
            $('<a>').attr('role', "button")
+                    .attr('title',"open the pager in an external window")
                    .addClass('ui-button')
                    .click(function(){that.detach()})
                    .attr('style','position: absolute; right: 10px;')