@Override public void onMouseOut(MouseOutEvent event) { DOM.getElementById(closeLinkId).getStyle().setProperty("visibility", "hidden"); } }, MouseOutEvent.getType());
private void showFooter() { showElement( DOM.getElementById( "footer_container" ) ); setDisplayBlock( DOM.getElementById("footer_container") ); }
/** * @return width in pixels of the GWT component in the Sonar page */ public static int getPageWidth() { return DOM.getElementById("gwtpage").getClientWidth(); }
@Override public void onMouseOver(MouseOverEvent event) { DOM.getElementById(closeLinkId).getStyle().setProperty("visibility", "visible"); } }, MouseOverEvent.getType());
/** * @param js * to inject * @return wheter the js injected already, or not. This check is made during * injection, but can be useful. */ public static boolean injected(TextResource js) { return DOM.getElementById(js.getName()) != null; } }
private void showHeader() { setDisplayBlock( DOM.getElementById("header_container") ); }
private void showPreamble() { showElement( DOM.getElementById( "preamble_panel" ) ); setDisplayBlock( DOM.getElementById( "preamble_panel" ) ); }
private void hideFooter() { hideElement( DOM.getElementById("footer_container") ); }
private void hidePreamble() { hideElement( DOM.getElementById( "preamble_panel" ) ); }
/** * Couples this map to an existing HTML element (div or span). * * @param id * id of the element */ public void setHtmlElementId(String id) { htmlElementId = id; mapWidget.setHtmlElement(DOM.getElementById(id)); mapWidget.draw(); }
protected void destroyTrans(final String id) { head.removeChild(DOM.getElementById(id)); DeferredCommand.addCommand(new Command() { public void execute() { removeCallback(CALLBACK_CONTAINER, id); } }); }
@Override public void onRemove() { String id = map.getRasterContext().getId(this); // Remove the terms of use: Element element = DOM.getElementById(id + "-googleAddon"); if (element != null) { Element parent = DOM.getParent(element); parent.removeChild(element); } // Remove the Google map too: element = DOM.getElementById(id); if (element != null) { Element parent = DOM.getParent(element); parent.removeChild(element); } googleMap = null; }
@Override public void onResponseReceived(Request request, Response response) { version = response.getText(); Element span = DOM.createSpan(); span.setInnerText(version); DOM.getElementById("version").appendChild(span); }
private void updateScrollPanelSize() { Element topologyComponent = DOM.getElementById("TopologyComponent"); int topoHeight = topologyComponent.getOffsetHeight(); int containerHeight = topoHeight - (m_focusedContainer.getElement().getOffsetTop() + 5); int tableHeight = m_focusedContainer.getOffsetHeight(); if(containerHeight >= 0){ m_scrollContainer.setHeight("" + Math.min(containerHeight, tableHeight) + "px"); if(tableHeight > containerHeight){ m_scrollContainer.getElement().getStyle().setOverflowY(Style.Overflow.SCROLL); } else{ m_scrollContainer.getElement().getStyle().setOverflowY(Style.Overflow.HIDDEN); } } }
private void ensureUsername() { RootPanel rootPanel = RootPanel.get("currentUser"); if (rootPanel != null) { rootPanel.getElement().setInnerText("Welcome " + userFirstName + " " + userLastName); } Element elem = DOM.getElementById("authBar"); if (elem != null) { elem.removeClassName("hidden"); } }
private void updateScrollPanelSize() { Element topologyComponent = DOM.getElementById("TopologyComponent"); int topoHeight = topologyComponent.getOffsetHeight(); int containerHeight = topoHeight - (m_focusedContainer.getElement().getOffsetTop() + 5); int tableHeight = m_focusedContainer.getOffsetHeight(); if(containerHeight >= 0){ m_scrollContainer.setHeight("" + Math.min(containerHeight, tableHeight) + "px"); if(tableHeight > containerHeight){ m_scrollContainer.getElement().getStyle().setOverflowY(Style.Overflow.SCROLL); } else{ m_scrollContainer.getElement().getStyle().setOverflowY(Style.Overflow.HIDDEN); } } }
/** * @param scriptResource * javascript file */ public static void inject(TextResource scriptResource) { if (DOM.getElementById(scriptResource.getName()) == null) { ScriptElement element = createScriptElement(scriptResource .getName()); element.setText(scriptResource.getText()); getHead().appendChild(element); } }
@Override protected void onDragEnter(DNDEvent e) { super.onDragEnter(e); e.getStatus().setStatus(false); restoreTrackMouse = tree.isTrackMouseOver(); tree.setTrackMouseOver(false); if (autoScroll) { if (scrollSupport == null) { El scroll = scrollElementId != null ? new El(DOM.getElementById(scrollElementId)) : tree.el(); scrollSupport = new ScrollSupport(scroll); } else if (scrollSupport.getScrollElement() == null) { El scroll = scrollElementId != null ? new El(DOM.getElementById(scrollElementId)) : tree.el(); scrollSupport.setScrollElement(scroll); } scrollSupport.start(); } }
@Override public void onDraw() { if (googleMap == null) { // create as first child of raster group map.getRasterContext().drawGroup(null, this); String id = map.getRasterContext().getId(this); // move to first position Element mapDiv = DOM.getElementById(id); Element rasterGroup = DOM.getElementById(map.getRasterContext().getId(map.getGroup(RenderGroup.RASTER))); DOM.insertBefore(DOM.getParent(rasterGroup), mapDiv, rasterGroup); String graphicsId = map.getVectorContext().getId(); googleMap = createGoogleMap(id, graphicsId, type.name(), showMap, getVerticalMargin(), getHorizontalMargin(), getVerticalAlignmentString()); } }
/** * Work around Firefox bug * https://bugzilla.mozilla.org/show_bug.cgi?id=519028 * (change location.hash leads to location bar icon (favicon) disappearance). * Simply detach and re-attach the favicon link tag on hashchange. */ @Override public void onValueChange(ValueChangeEvent<String> event) { super.onValueChange(event); if (clientAgentType.isFirefox()) { Scheduler.get().scheduleDeferred(() -> { Node favicon = DOM.getElementById("id-link-favicon"); //$NON-NLS-1$ if (favicon != null) { Node parent = favicon.getParentNode(); favicon.removeFromParent(); parent.appendChild(favicon); } }); } }