Package elemental.html

Examples of elemental.html.Element


  /**
   * @return true if the provided element or one of its children have focus.
   */
  public static boolean isElementOrChildFocused(Element element) {
    Element active = element.getOwnerDocument().getActiveElement();
    return element.contains(active);
  }
View Full Code Here


      this.css = css;
      createDom();
    }

    private void createDom() {
      Element top = getElement();
      results = Elements.createDivElement();
      top.appendChild(results);
      pager = Elements.createDivElement(css.pager());
      top.appendChild(pager);
    }
View Full Code Here

    if (!isTargetElementEmpty) {
      targetElement.setInnerHTML("");
    }

    Element contentElement = Elements.createSpanElement();
    contentElement.getStyle().setDisplay(CSSStyleDeclaration.Display.INLINE_BLOCK);
    for (int indexInLine = 0, lineSize = line.getText().length();
        indexInLine < lineSize && ensureAllRenderersHaveARenderedNextChunk();) {

      int chunkSize = currentLineRendererTargets.get(0).remainingCount;
      if (chunkSize == 0) {
        // Bad news, revert to naive rendering and log
        setTextContentSafely(targetElement, line.getText());
        Log.error(getClass(), "Line renderers do not have remaining chunks");
        return;
      }

      renderChunk(line.getText(), indexInLine, chunkSize, contentElement);
      markChunkRendered(chunkSize);

      indexInLine += chunkSize;
    }
    targetElement.appendChild(contentElement);

    if (line.getText().endsWith("\n")) {
      Element lastChunk = (Element) contentElement.getLastChild();
      Preconditions.checkState(lastChunk != null, "This line has no chunks!");
      if (!StringUtils.isNullOrWhitespace(lastChunk.getClassName())) {
        contentElement.getStyle().setProperty("float", "left");
        Element newlineCharacterElement = createLastChunkElement(targetElement);
        // Created on demand only because it is rarely used.
        Element remainingSpaceElement = null;
        for (int i = 0, n = currentLineRendererTargets.size(); i < n; i++) {
          LineRendererTarget target = currentLineRendererTargets.get(i);
          if (target.styleName != null) {
            if (!target.lineRenderer.shouldLastChunkFillToRight()) {
              newlineCharacterElement.addClassName(target.styleName);
            } else {
              if (remainingSpaceElement == null) {
                newlineCharacterElement.getStyle().setProperty("float", "left");
                remainingSpaceElement = createLastChunkElement(targetElement);
                remainingSpaceElement.getStyle().setWidth("100%");
              }
              // Also apply to last chunk element so that there's no gap.
              newlineCharacterElement.addClassName(target.styleName);
              remainingSpaceElement.addClassName(target.styleName);
            }
          }
        }
      }
    }
View Full Code Here

      setElement(createShareContents());
    }

    Element createShareContents() {
      Element root = Elements.createDivElement(css.root());

      rule = Elements.createDivElement(css.rule());

      label = Elements.createElement("p", css.label());
      label.setTextContent("Collaborate with others by pasting this link into an email or IM.");
View Full Code Here

      listener.onRootChildrenChanged();
    }
  }

  private void saveTreeMinHeight() {
    Element element = getView().getElement();
    AnimationUtils.removeTransitions(element.getStyle());
    element.getStyle().setProperty("min-height",
        element.getOffsetHeight() + CSSStyleDeclaration.Unit.PX);
    treeHeightRestorer.schedule(100);
  }
View Full Code Here

    View(Resources resources) {
      css = resources.remoteObjectTreeCss();
      treeView = new Tree.View<RemoteObjectNode>(resources);

      Element rootElement = Elements.createDivElement(css.root());
      rootElement.appendChild(treeView.getElement());
      rootElement.addEventListener(Event.DBLCLICK, dblClickListener, false);
      rootElement.addEventListener(Event.SCROLL, scrollListener, false);
      setElement(rootElement);
    }
View Full Code Here

      contentElement = newContentElement;
    }

    protected void setContentAreaScrollable(boolean scrollable) {
      Element contentAreaElement = Elements.asJsElement(contentArea);
      CssUtils.setClassNameEnabled(contentAreaElement, css.contentAreaScrollable(), scrollable);
    }
View Full Code Here

    this.debuggingSidebar = debuggingSidebar;
    this.debuggerState = debuggerState;
  }

  void renderBreakpointOnGutter(int lineNumber, boolean active) {
    Element element = lineNumberToElementCache.get(lineNumber);
    if (element == null) {
      element = Elements.createDivElement(css.breakpoint());
      element.getStyle().setTop(editor.getBuffer().calculateLineTop(lineNumber),
          CSSStyleDeclaration.Unit.PX);

      new DebugAttributeSetter().add("linenumber", String.valueOf(lineNumber + 1)).on(element);

      editor.getLeftGutter().addUnmanagedElement(element);
View Full Code Here

    CssUtils.setClassNameEnabled(element, css.breakpointInactive(), !active);
  }

  void removeBreakpointOnGutter(int lineNumber) {
    Element element = lineNumberToElementCache.get(lineNumber);
    if (element != null) {
      editor.getLeftGutter().removeUnmanagedElement(element);
      lineNumberToElementCache.erase(lineNumber);
    }
  }
View Full Code Here

      treeView = new RemoteObjectTree.View(resources);

      plusButton = Elements.createDivElement(css.button(), css.plusButton());
      refreshButton = Elements.createDivElement(css.button(), css.refreshButton());

      Element rootElement = Elements.createDivElement(css.root());
      rootElement.appendChild(treeView.getElement());
      setElement(rootElement);

      attachButtonListeners();
    }
View Full Code Here

TOP

Related Classes of elemental.html.Element

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.