Search in sources :

Example 6 with DivElement

use of com.google.gwt.dom.client.DivElement in project che by eclipse.

the class ProcessesPanelViewImpl method tuneSplitter.

/**
     * Tunes splitter. Makes it wider and adds double border to seem rich.
     *
     * @param el
     *         element to tune
     */
private void tuneSplitter(Element el) {
    /** Add Z-Index to move the splitter on the top and make content visible */
    el.getParentElement().getStyle().setProperty("zIndex", "1000");
    el.getParentElement().getStyle().setProperty("overflow", "visible");
    /** Tune splitter catch panel */
    el.getStyle().setProperty("boxSizing", "border-box");
    el.getStyle().setProperty("width", "5px");
    el.getStyle().setProperty("overflow", "hidden");
    el.getStyle().setProperty("marginLeft", "-3px");
    el.getStyle().setProperty("backgroundColor", "transparent");
    /** Add small border */
    DivElement smallBorder = Document.get().createDivElement();
    smallBorder.getStyle().setProperty("position", "absolute");
    smallBorder.getStyle().setProperty("width", "1px");
    smallBorder.getStyle().setProperty("height", "100%");
    smallBorder.getStyle().setProperty("left", "3px");
    smallBorder.getStyle().setProperty("top", "0px");
    smallBorder.getStyle().setProperty("backgroundColor", Style.getSplitterSmallBorderColor());
    el.appendChild(smallBorder);
    /** Add large border */
    DivElement largeBorder = Document.get().createDivElement();
    largeBorder.getStyle().setProperty("position", "absolute");
    largeBorder.getStyle().setProperty("width", "2px");
    largeBorder.getStyle().setProperty("height", "100%");
    largeBorder.getStyle().setProperty("left", "1px");
    largeBorder.getStyle().setProperty("top", "0px");
    largeBorder.getStyle().setProperty("opacity", "0.4");
    largeBorder.getStyle().setProperty("backgroundColor", Style.getSplitterLargeBorderColor());
    el.appendChild(largeBorder);
}
Also used : DivElement(com.google.gwt.dom.client.DivElement)

Example 7 with DivElement

use of com.google.gwt.dom.client.DivElement in project che by eclipse.

the class AbstractPresentationRenderer method getRootContainer.

/** {@inheritDoc} */
@Override
public Element getRootContainer(String domID) {
    DivElement divElement = Document.get().createDivElement();
    divElement.setId(domID);
    divElement.setClassName(treeStyles.styles().rootContainer());
    return divElement;
}
Also used : DivElement(com.google.gwt.dom.client.DivElement)

Example 8 with DivElement

use of com.google.gwt.dom.client.DivElement in project che by eclipse.

the class Tree method ensureTreeElement.

private void ensureTreeElement() {
    DivElement element = Document.get().createDivElement();
    element.addClassName(treeStyles.styles().tree());
    setElement(element);
}
Also used : DivElement(com.google.gwt.dom.client.DivElement)

Example 9 with DivElement

use of com.google.gwt.dom.client.DivElement in project che by eclipse.

the class AbstractPresentationRenderer method getDescendantsContainer.

/** {@inheritDoc} */
@Override
public Element getDescendantsContainer() {
    DivElement divElement = Document.get().createDivElement();
    divElement.setClassName(treeStyles.styles().descendantsContainer());
    return divElement;
}
Also used : DivElement(com.google.gwt.dom.client.DivElement)

Example 10 with DivElement

use of com.google.gwt.dom.client.DivElement in project che by eclipse.

the class AbstractPresentationRenderer method getNodeContainer.

/** {@inheritDoc} */
@Override
public Element getNodeContainer() {
    DivElement divElement = Document.get().createDivElement();
    divElement.setClassName(treeStyles.styles().nodeContainer());
    return divElement;
}
Also used : DivElement(com.google.gwt.dom.client.DivElement)

Aggregations

DivElement (com.google.gwt.dom.client.DivElement)25 Element (com.google.gwt.dom.client.Element)2 Test (org.junit.Test)2 RepeatingCommand (com.google.gwt.core.client.Scheduler.RepeatingCommand)1 ImageElement (com.google.gwt.dom.client.ImageElement)1 Style (com.google.gwt.dom.client.Style)1 HTMLPanel (com.google.gwt.user.client.ui.HTMLPanel)1 Label (com.google.gwt.user.client.ui.Label)1 Element (elemental.dom.Element)1 Event (elemental.events.Event)1 EventListener (elemental.events.EventListener)1 LIElement (elemental.html.LIElement)1 SpanElement (elemental.html.SpanElement)1 ActionEvent (org.eclipse.che.ide.api.action.ActionEvent)1 Presentation (org.eclipse.che.ide.api.action.Presentation)1 ResourceChangedEvent (org.eclipse.che.ide.api.resources.ResourceChangedEvent)1 Value (org.rstudio.studio.client.common.Value)1 OMSVGSVGElement (org.vectomatic.dom.svg.OMSVGSVGElement)1