/**
* Sets the central widget.
*
* <p>Sets the widget that is the contents of the panel. When a widget was previously set, the old
* widget is deleted first.
*
* <p>The default value is <code>null</code> (no widget set).
*/
public void setCentralWidget(WWidget w) {
if (this.centralWidget_ != null) this.centralWidget_.remove();
this.centralWidget_ = w;
if (w != null) {
this.getCentralArea().addWidget(w);
w.setInline(false);
}
}
public void setCursourStateOn(WWidget widget) {
widget.doJavaScript(
widget.getJsRef() + ".style.cursor='" + toString().replace("_", "-").toLowerCase() + "';");
}
