You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

RenderSpace.java 1.8KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768
  1. /*
  2. * Copyright 2000-2016 Vaadin Ltd.
  3. *
  4. * Licensed under the Apache License, Version 2.0 (the "License"); you may not
  5. * use this file except in compliance with the License. You may obtain a copy of
  6. * the License at
  7. *
  8. * http://www.apache.org/licenses/LICENSE-2.0
  9. *
  10. * Unless required by applicable law or agreed to in writing, software
  11. * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
  12. * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
  13. * License for the specific language governing permissions and limitations under
  14. * the License.
  15. */
  16. package com.vaadin.client;
  17. import com.vaadin.client.RenderInformation.Size;
  18. /**
  19. * Contains information about render area.
  20. */
  21. public class RenderSpace extends Size {
  22. private int scrollBarSize = 0;
  23. public RenderSpace(int width, int height) {
  24. super(width, height);
  25. }
  26. public RenderSpace() {
  27. }
  28. public RenderSpace(int width, int height, boolean useNativeScrollbarSize) {
  29. super(width, height);
  30. if (useNativeScrollbarSize) {
  31. scrollBarSize = WidgetUtil.getNativeScrollbarSize();
  32. }
  33. }
  34. /**
  35. * Returns pixels available vertically for contained widget, including
  36. * possible scrollbars.
  37. */
  38. @Override
  39. public int getHeight() {
  40. return super.getHeight();
  41. }
  42. /**
  43. * Returns pixels available horizontally for contained widget, including
  44. * possible scrollbars.
  45. */
  46. @Override
  47. public int getWidth() {
  48. return super.getWidth();
  49. }
  50. /**
  51. * In case containing block has oveflow: auto, this method must return
  52. * number of pixels used by scrollbar. Returning zero means either that no
  53. * scrollbar will be visible.
  54. */
  55. public int getScrollbarSize() {
  56. return scrollBarSize;
  57. }
  58. }