get monospace pager back

pull/37/head
Matthias BUSSONNIER 13 years ago
parent 20071271bf
commit 2fbb909bb3

@ -152,9 +152,7 @@ var IPython = (function (IPython) {
}
Pager.prototype.append_text = function (text) {
var toinsert = $("<div/>").addClass("output_area output_stream");
toinsert.append($('<pre/>').html(utils.fixCarriageReturn(utils.fixConsole(text))));
this.pager_element.append(toinsert);
this.pager_element.append($('<pre/>').html(utils.fixCarriageReturn(utils.fixConsole(text))));
};

Loading…
Cancel
Save