##// END OF EJS Templates
This create the ability to detach the pager...
Matthias BUSSONNIER -
Show More
@@ -112,6 +112,10 b' div#pager_splitter {'
112 height: 8px;
112 height: 8px;
113 }
113 }
114
114
115 #pager_container {
116 position : relative;
117 }
118
115 div#pager {
119 div#pager {
116 padding: 15px;
120 padding: 15px;
117 overflow: auto;
121 overflow: auto;
@@ -391,4 +395,4 b' pre, code, kbd, samp { white-space: pre-wrap; }'
391
395
392 .js-error {
396 .js-error {
393 color: darkred;
397 color: darkred;
394 } No newline at end of file
398 }
@@ -15,6 +15,7 b' var IPython = (function (IPython) {'
15
15
16 var Pager = function (pager_selector, pager_splitter_selector) {
16 var Pager = function (pager_selector, pager_splitter_selector) {
17 this.pager_element = $(pager_selector);
17 this.pager_element = $(pager_selector);
18 this.pager_button_area = $('#pager_button_area');
18 var that = this;
19 var that = this;
19 this.percentage_height = 0.40;
20 this.percentage_height = 0.40;
20 this.pager_splitter_element = $(pager_splitter_selector)
21 this.pager_splitter_element = $(pager_splitter_selector)
@@ -39,9 +40,23 b' var IPython = (function (IPython) {'
39 });
40 });
40 this.expanded = false;
41 this.expanded = false;
41 this.style();
42 this.style();
43 this.create_button_area();
42 this.bind_events();
44 this.bind_events();
43 };
45 };
44
46
47 Pager.prototype.create_button_area = function(){
48 var that = this;
49 this.pager_button_area.append(
50 $('<a>').attr('role', "button")
51 .addClass('ui-button')
52 .click(function(){that.detach()})
53 .attr('style','position: absolute; right: 10px;')
54 .append(
55 $('<span>').addClass("ui-icon ui-icon-arrowstop-l-n")
56 )
57 )
58 };
59
45 Pager.prototype.style = function () {
60 Pager.prototype.style = function () {
46 this.pager_splitter_element.addClass('border-box-sizing ui-widget ui-state-default');
61 this.pager_splitter_element.addClass('border-box-sizing ui-widget ui-state-default');
47 this.pager_element.addClass('border-box-sizing ui-widget');
62 this.pager_element.addClass('border-box-sizing ui-widget');
@@ -114,6 +129,23 b' var IPython = (function (IPython) {'
114 this.pager_element.empty();
129 this.pager_element.empty();
115 };
130 };
116
131
132 Pager.prototype.detach = function(){
133 var w = window.open("","_blank")
134 $(w.document.head)
135 .append(
136 $('<link>')
137 .attr('rel',"stylesheet")
138 .attr('href',"/static/css/notebook.css")
139 .attr('type',"text/css")
140 );
141 var pager_body = $(w.document.body)
142 pager_body.attr('style','overflow:scroll');
143
144 pager_body.append(this.pager_element.children())
145 w.document.close();
146 this.collapse();
147
148 }
117
149
118 Pager.prototype.append_text = function (text) {
150 Pager.prototype.append_text = function (text) {
119 var toinsert = $("<div/>").addClass("output_area output_stream");
151 var toinsert = $("<div/>").addClass("output_area output_stream");
@@ -199,7 +199,11 b' data-notebook-id={{notebook_id}}'
199 <div id="notebook_panel">
199 <div id="notebook_panel">
200 <div id="notebook"></div>
200 <div id="notebook"></div>
201 <div id="pager_splitter"></div>
201 <div id="pager_splitter"></div>
202 <div id="pager"></div>
202 <div id="pager_container">
203 <div id='pager_button_area'>
204 </div>
205 <div id="pager"></div>
206 </div>
203 </div>
207 </div>
204
208
205 </div>
209 </div>
General Comments 0
You need to be logged in to leave comments. Login now