use of org.rstudio.core.client.widget.PreWidget in project rstudio by rstudio.
the class ChunkOutputStream method initConsole.
private void initConsole() {
if (console_ == null) {
console_ = new PreWidget();
console_.getElement().removeAttribute("tabIndex");
console_.getElement().getStyle().setMarginTop(0, Unit.PX);
console_.getElement().getStyle().setProperty("whiteSpace", "pre-wrap");
} else {
console_.getElement().setInnerHTML("");
}
if (vconsole_ == null)
vconsole_ = new VirtualConsole(console_.getElement());
else
vconsole_.clear();
// attach the console
addWithOrdinal(console_, maxOrdinal_ + 1);
}
Aggregations