|
|
@@ -28,6 +28,11 @@ public interface Terminal extends Serializable { |
|
|
|
/** |
|
|
|
* Gets the width of the terminal screen in pixels. This is the width of the |
|
|
|
* screen and not the width available for the application. |
|
|
|
* <p> |
|
|
|
* Note that the screen width is typically not available in the |
|
|
|
* {@link com.vaadin.Application#init()} method as this is called before the |
|
|
|
* browser has a chance to report the screen size to the server. |
|
|
|
* </p> |
|
|
|
* |
|
|
|
* @return the width of the terminal screen. |
|
|
|
*/ |
|
|
@@ -37,6 +42,12 @@ public interface Terminal extends Serializable { |
|
|
|
* Gets the height of the terminal screen in pixels. This is the height of |
|
|
|
* the screen and not the height available for the application. |
|
|
|
* |
|
|
|
* <p> |
|
|
|
* Note that the screen height is typically not available in the |
|
|
|
* {@link com.vaadin.Application#init()} method as this is called before the |
|
|
|
* browser has a chance to report the screen size to the server. |
|
|
|
* </p> |
|
|
|
* |
|
|
|
* @return the height of the terminal screen. |
|
|
|
*/ |
|
|
|
public int getScreenHeight(); |