initWidget(GWT.<Binder>create(Binder.class).createAndBindUi(this));
Label tracebackTitle = new Label("Traceback");
tracebackTitle.addStyleName(style.tracebackHeader());
callFramePanelHeader.addStyleName(globalStyles.windowframe());
callFramePanelHeader.add(tracebackTitle);
CheckBox showInternals = new CheckBox("Show internals");
showInternals.setValue(panelHost_.getShowInternalFunctions());
showInternals.addValueChangeHandler(
new ValueChangeHandler<Boolean>()