@Override public void onEmit (Float val) {
historyBox.preferredSize.updateWidth(val);
}
});
add10.clicked().connect(addSome(history, prefix, 10));
add100.clicked().connect(addSome(history, prefix, 100));
history.setStylesheet(Stylesheet.builder().add(Label.class,
Style.BACKGROUND.is(Background.composite(
Background.blank().inset(0, 2),
Background.bordered(Colors.WHITE, Colors.BLACK, 1).inset(10))),
Style.TEXT_WRAP.on, Style.HALIGN.left).create());