use of com.google.gwt.user.client.ui.HTML in project che by eclipse.
the class Popup method asWidget.
/** {@inheritDoc} */
@Override
public Widget asWidget() {
if (widget == null) {
widget = new HTML();
widget.getElement().appendChild((Node) getView().getElement());
}
return widget;
}
use of com.google.gwt.user.client.ui.HTML in project che by eclipse.
the class SimpleList method asWidget.
/** {@inheritDoc} */
@Override
public Widget asWidget() {
if (widget == null) {
widget = new HTML();
widget.getElement().appendChild((Node) getView().getElement());
}
return widget;
}
use of com.google.gwt.user.client.ui.HTML in project che by eclipse.
the class Tree method asWidget.
/** {@inheritDoc} */
@Override
public Widget asWidget() {
if (widget == null) {
widget = new HTML();
Element element = getView().getElement();
widget.getElement().appendChild((Node) element);
widget.getElement().getStyle().setOverflow(Style.Overflow.AUTO);
}
return widget;
}
use of com.google.gwt.user.client.ui.HTML in project rstudio by rstudio.
the class DomMetrics method measureHTML.
public static Size measureHTML(String html, String styleName) {
// create HTML widget which matches the specified style
HTML measureHTML = new HTML();
measureHTML.setStyleName(styleName);
measureHTML.getElement().getStyle().setFloat(Style.Float.LEFT);
measureHTML.setWordWrap(false);
// add it to the dom (hidden)
RootPanel.get().add(measureHTML, -2000, -2000);
// insert the text (preformatted) and measure it
measureHTML.setHTML(html);
Size textSize = new Size(measureHTML.getOffsetWidth(), measureHTML.getOffsetHeight());
RootPanel.get().remove(measureHTML);
// return the size
return textSize;
}
use of com.google.gwt.user.client.ui.HTML in project rstudio by rstudio.
the class RSConnect method onRSConnectDeploymentFailed.
@Override
public void onRSConnectDeploymentFailed(final RSConnectDeploymentFailedEvent event) {
String failedPath = event.getData().getPath();
// if this looks like an API call, process the path to get the 'bare'
// server URL
int pos = failedPath.indexOf("__api__");
if (pos < 1) {
// if not, just get the host
pos = failedPath.indexOf("/", 10) + 1;
}
if (pos > 0) {
failedPath = failedPath.substring(0, pos);
}
final String serverUrl = failedPath;
new ModalDialogBase() {
@Override
protected Widget createMainWidget() {
setText("Publish Failed");
addOkButton(new ThemedButton("OK", new ClickHandler() {
@Override
public void onClick(ClickEvent arg0) {
closeDialog();
}
}));
HorizontalPanel panel = new HorizontalPanel();
Image errorImage = new Image(new ImageResource2x(MessageDialogImages.INSTANCE.dialog_error2x()));
errorImage.getElement().getStyle().setMarginTop(1, Unit.EM);
errorImage.getElement().getStyle().setMarginRight(1, Unit.EM);
panel.add(errorImage);
panel.add(new HTML("<p>Your content could not be published because " + "of a problem on the server.</p>" + "<p>More information may be available on the server's home " + "page:</p>" + "<p><a href=\"" + serverUrl + "\">" + serverUrl + "</a>" + "</p>" + "<p>If the error persists, contact the server's " + "administrator.</p>" + "<p><small>Error code: " + event.getData().getHttpStatus() + "</small></p>"));
return panel;
}
}.showModal();
}
Aggregations