List of usage examples for com.google.gwt.dom.client Style setWhiteSpace
public void setWhiteSpace(WhiteSpace value)
From source file:com.vaadin.client.metadata.ConnectorBundleLoader.java
License:Apache License
private void notice(String productName) { if (notice == null) { notice = new HTML(); notice.addClickHandler(new ClickHandler() { public void onClick(ClickEvent event) { notice.removeFromParent(); }//from w w w . j a va2 s . c o m }); notice.addTouchStartHandler(new TouchStartHandler() { public void onTouchStart(TouchStartEvent event) { notice.removeFromParent(); } }); } String msg = notice.getText().trim(); msg += msg.isEmpty() ? "Using Evaluation License of: " : ", "; notice.setText(msg + productName); RootPanel.get().add(notice); notice.getElement().setClassName(""); Style s = notice.getElement().getStyle(); s.setPosition(Position.FIXED); s.setTextAlign(TextAlign.CENTER); s.setRight(0, Unit.PX); s.setLeft(0, Unit.PX); s.setBottom(0, Unit.PX); s.setProperty("padding", "0.5em 1em"); s.setProperty("font-family", "sans-serif"); s.setFontSize(12, Unit.PX); s.setLineHeight(1.1, Unit.EM); s.setColor("white"); s.setBackgroundColor("black"); s.setOpacity(0.7); s.setZIndex(2147483646); s.setProperty("top", "auto"); s.setProperty("width", "auto"); s.setDisplay(Display.BLOCK); s.setWhiteSpace(WhiteSpace.NORMAL); s.setVisibility(Visibility.VISIBLE); s.setMargin(0, Unit.PX); }
From source file:jetbrains.jetpad.projectional.domUtil.DomTextEditor.java
License:Apache License
public DomTextEditor(Element root) { myRoot = root;// w ww . j a va 2 s . c o m Style rootStyle = myRoot.getStyle(); rootStyle.setPosition(Style.Position.RELATIVE); myTextContainer = DOM.createSpan(); Style textStyle = myTextContainer.getStyle(); textStyle.setZIndex(2); textStyle.setWhiteSpace(Style.WhiteSpace.NOWRAP); myRoot.appendChild(myTextContainer); Element caretDiv = DOM.createDiv(); Style caretStyle = caretDiv.getStyle(); caretStyle.setPosition(Style.Position.ABSOLUTE); caretStyle.setZIndex(2); myRoot.appendChild(caretDiv); myCaretDiv = caretDiv; Element selectionDiv = DOM.createDiv(); Style selectionStyle = selectionDiv.getStyle(); selectionStyle.setPosition(Style.Position.ABSOLUTE); selectionStyle.setZIndex(1); myRoot.appendChild(selectionDiv); mySelectionDiv = selectionDiv; update(); updateCaretVisibility(); updateSelectionVisibility(); updateCaretAndSelection(); }