host_ = host;
chunkOutputSize_ = chunkOutputSize;
metadata_ = new HashMap<Integer, JavaScriptObject>();
if (chunkOutputSize_ == ChunkOutputSize.Full) {
getElement().getStyle().setWidth(100, Unit.PCT);
<BUG>getElement().getStyle().setHeight(100, Unit.PCT);
}</BUG>
}
@Override
public void showConsoleText(String text)

host_ = host;
chunkOutputSize_ = chunkOutputSize;
metadata_ = new HashMap<Integer, JavaScriptObject>();
if (chunkOutputSize_ == ChunkOutputSize.Full) {
getElement().getStyle().setWidth(100, Unit.PCT);
getElement().getStyle().setProperty("display", "-ms-flexbox");
getElement().getStyle().setProperty("display", "-webkit-flex");
getElement().getStyle().setProperty("display", "flex");
}
}
@Override
public void showConsoleText(String text)
