Merge remote branch 'origin/master' into layoutperformance

Conflicts:
	src/com/vaadin/terminal/gwt/client/ui/label/VLabel.java

diff --cc src/com/vaadin/terminal/gwt/client/ui/label/VLabel.java
index 357711d2f41590ebfb89f99e99e1ed44a5b40708,3fe3516f1c1ceb79f21933e67abbce76e18239e6..dd2a2d3e93f0d917305664cea52750310966aa37
--- 1/src/com/vaadin/terminal/gwt/client/ui/label/VLabel.java
--- 2/src/com/vaadin/terminal/gwt/client/ui/label/VLabel.java
+++ b/src/com/vaadin/terminal/gwt/client/ui/label/VLabel.java
@@@ -4,9 -4,9 +4,10 @@@
  
  package com.vaadin.terminal.gwt.client.ui.label;
  
 +import com.google.gwt.dom.client.Style.Display;
  import com.google.gwt.user.client.Event;
  import com.google.gwt.user.client.ui.HTML;
+ import com.vaadin.terminal.gwt.client.ApplicationConnection;
  import com.vaadin.terminal.gwt.client.BrowserInfo;
  import com.vaadin.terminal.gwt.client.Util;
  import com.vaadin.terminal.gwt.client.VTooltip;
@@@ -15,6 -15,10 +16,8 @@@ public class VLabel extends HTML 
  
      public static final String CLASSNAME = "v-label";
      private static final String CLASSNAME_UNDEFINED_WIDTH = "v-label-undef-w";
 -
 -    private int verticalPaddingBorder = 0;
 -    private int horizontalPaddingBorder = 0;
++    
+     private ApplicationConnection connection;
  
      public VLabel() {
          super();
@@@ -36,17 -40,25 +39,20 @@@
              event.stopPropagation();
              return;
          }
+         if (connection != null) {
+             connection.handleWidgetTooltipEvent(event, this);
+         }
      }
  
 -    @Override
 -    public void setHeight(String height) {
 -        verticalPaddingBorder = Util.setHeightExcludingPaddingAndBorder(this,
 -                height, verticalPaddingBorder);
 -    }
 -
      @Override
      public void setWidth(String width) {
 -        horizontalPaddingBorder = Util.setWidthExcludingPaddingAndBorder(this,
 -                width, horizontalPaddingBorder);
 +        super.setWidth(width);
          if (width == null || width.equals("")) {
              setStyleName(getElement(), CLASSNAME_UNDEFINED_WIDTH, true);
 +            getElement().getStyle().setDisplay(Display.INLINE_BLOCK);
          } else {
              setStyleName(getElement(), CLASSNAME_UNDEFINED_WIDTH, false);
 +            getElement().getStyle().clearDisplay();
          }
      }