import com.google.gwt.core.client.Scheduler.ScheduledCommand;
import com.google.gwt.event.dom.client.BlurEvent;
import com.google.gwt.event.dom.client.BlurHandler;
+import com.google.gwt.event.dom.client.DomEvent.Type;
import com.google.gwt.event.dom.client.FocusEvent;
import com.google.gwt.event.dom.client.FocusHandler;
import com.google.gwt.event.dom.client.KeyDownEvent;
import com.google.gwt.event.dom.client.KeyDownHandler;
import com.google.gwt.event.dom.client.ScrollEvent;
import com.google.gwt.event.dom.client.ScrollHandler;
-import com.google.gwt.event.dom.client.DomEvent.Type;
import com.google.gwt.event.shared.EventHandler;
import com.google.gwt.event.shared.HandlerRegistration;
import com.google.gwt.user.client.Command;
footer = DOM.createDiv();
DOM.setElementProperty(footer, "className", CLASSNAME + "-footer");
resizeBox = DOM.createDiv();
- DOM
- .setElementProperty(resizeBox, "className", CLASSNAME
- + "-resizebox");
+ DOM.setElementProperty(resizeBox, "className", CLASSNAME + "-resizebox");
closeBox = DOM.createDiv();
DOM.setElementProperty(closeBox, "className", CLASSNAME + "-closebox");
DOM.appendChild(footer, resizeBox);
}
if (uidl.hasAttribute("caption")) {
- setCaption(uidl.getStringAttribute("caption"), uidl
- .getStringAttribute("icon"));
+ setCaption(uidl.getStringAttribute("caption"),
+ uidl.getStringAttribute("icon"));
}
visibilityChangesDisabled = true;
}
final String style = notification.hasAttribute("style") ? notification
- .getStringAttribute("style")
- : null;
+ .getStringAttribute("style") : null;
final int position = notification
.getIntAttribute("position");
final int delay = notification.getIntAttribute("delay");
* Sets the closable state of the window. Additionally hides/shows the close
* button according to the new state.
*
- * @param closable true if the window can be closed by the user
+ * @param closable
+ * true if the window can be closed by the user
*/
protected void setClosable(boolean closable) {
if (this.closable == closable) {
private void showModalityCurtain() {
if (BrowserInfo.get().isFF2()) {
- DOM.setStyleAttribute(getModalityCurtain(), "height", DOM
- .getElementPropertyInt(RootPanel.getBodyElement(),
- "offsetHeight")
- + "px");
+ DOM.setStyleAttribute(
+ getModalityCurtain(),
+ "height",
+ DOM.getElementPropertyInt(RootPanel.getBodyElement(),
+ "offsetHeight") + "px");
DOM.setStyleAttribute(getModalityCurtain(), "position", "absolute");
}
- DOM.setStyleAttribute(getModalityCurtain(), "zIndex", ""
- + (windowOrder.indexOf(this) + Z_INDEX));
+ DOM.setStyleAttribute(getModalityCurtain(), "zIndex",
+ "" + (windowOrder.indexOf(this) + Z_INDEX));
if (isShowing()) {
RootPanel.getBodyElement().insertBefore(getModalityCurtain(),
getElement());
* Checks if the cursor was inside the browser content area when the event
* happened.
*
- * @param event The event to be checked
+ * @param event
+ * The event to be checked
* @return true, if the cursor is inside the browser content area
*
* false, otherwise
rootPixelWidth = getElement().getOffsetWidth();
width = rootPixelWidth + "px";
} else {
- rootPixelWidth = Integer.parseInt(width.substring(0, width
- .indexOf("px")));
+ rootPixelWidth = Integer.parseInt(width.substring(0,
+ width.indexOf("px")));
}
// "width" now contains the new width in pixels
public void onScroll(ScrollEvent event) {
client.updateVariable(id, "scrollTop",
contentPanel.getScrollPosition(), false);
- client.updateVariable(id, "scrollLeft", contentPanel
- .getHorizontalScrollPosition(), false);
+ client.updateVariable(id, "scrollLeft",
+ contentPanel.getHorizontalScrollPosition(), false);
}
public void onKeyDown(KeyDownEvent event) {
if (shortcutHandler != null) {
- shortcutHandler.handleKeyboardEvent(Event
- .as(event.getNativeEvent()));
+ shortcutHandler
+ .handleKeyboardEvent(Event.as(event.getNativeEvent()));
return;
}
}