##// END OF EJS Templates
get monospace pager back
Matthias BUSSONNIER -
Show More
@@ -152,9 +152,7 b' var IPython = (function (IPython) {'
152 }
152 }
153
153
154 Pager.prototype.append_text = function (text) {
154 Pager.prototype.append_text = function (text) {
155 var toinsert = $("<div/>").addClass("output_area output_stream");
155 this.pager_element.append($('<pre/>').html(utils.fixCarriageReturn(utils.fixConsole(text))));
156 toinsert.append($('<pre/>').html(utils.fixCarriageReturn(utils.fixConsole(text))));
157 this.pager_element.append(toinsert);
158 };
156 };
159
157
160
158
General Comments 0
You need to be logged in to leave comments. Login now