##// END OF EJS Templates
Merge pull request #3239 from eteq/easy-close-pager...
Brian E. Granger -
r10600:973dad6c merge
parent child Browse files
Show More
@@ -136,6 +136,7 b' var IPython = (function (IPython) {'
136 } else if (event.which === key.ESC) {
136 } else if (event.which === key.ESC) {
137 // Intercept escape at highest level to avoid closing
137 // Intercept escape at highest level to avoid closing
138 // websocket connection with firefox
138 // websocket connection with firefox
139 IPython.pager.collapse();
139 event.preventDefault();
140 event.preventDefault();
140 } else if (event.which === key.SHIFT) {
141 } else if (event.which === key.SHIFT) {
141 // ignore shift keydown
142 // ignore shift keydown
@@ -48,14 +48,24 b' var IPython = (function (IPython) {'
48 var that = this;
48 var that = this;
49 this.pager_button_area.append(
49 this.pager_button_area.append(
50 $('<a>').attr('role', "button")
50 $('<a>').attr('role', "button")
51 .attr('title',"open the pager in an external window")
51 .attr('title',"Open the pager in an external window")
52 .addClass('ui-button')
52 .addClass('ui-button')
53 .click(function(){that.detach()})
53 .click(function(){that.detach()})
54 .attr('style','position: absolute; right: 10px;')
54 .attr('style','position: absolute; right: 20px;')
55 .append(
55 .append(
56 $('<span>').addClass("ui-icon ui-icon-extlink")
56 $('<span>').addClass("ui-icon ui-icon-extlink")
57 )
57 )
58 )
58 )
59 this.pager_button_area.append(
60 $('<a>').attr('role', "button")
61 .attr('title',"Close the pager")
62 .addClass('ui-button')
63 .click(function(){that.collapse()})
64 .attr('style','position: absolute; right: 5px;')
65 .append(
66 $('<span>').addClass("ui-icon ui-icon-close")
67 )
68 )
59 };
69 };
60
70
61 Pager.prototype.style = function () {
71 Pager.prototype.style = function () {
General Comments 0
You need to be logged in to leave comments. Login now