blob: 5f57a77e76bdaace4a1ccc0a69509e4463930c2d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
/*
@ITMillApache2LicenseForJavaFiles@
*/
package com.vaadin.terminal;
import java.io.Serializable;
/**
* <p>
* This interface is implemented by all visual objects that can be scrolled. The
* unit of scrolling is pixel.
* </p>
*
* @author IT Mill Ltd.
* @version
* @VERSION@
* @since 3.0
*/
public interface Scrollable extends Serializable {
/**
* Gets scroll left offset.
*
* <p>
* Scrolling offset is the number of pixels this scrollable has been
* scrolled right.
* </p>
*
* @return Horizontal scrolling position in pixels.
*/
public int getScrollLeft();
/**
* Sets scroll left offset.
*
* <p>
* Scrolling offset is the number of pixels this scrollable has been
* scrolled right.
* </p>
*
* @param pixelsScrolled
* the xOffset.
*/
public void setScrollLeft(int pixelsScrolled);
/**
* Gets scroll top offset.
*
* <p>
* Scrolling offset is the number of pixels this scrollable has been
* scrolled down.
* </p>
*
* @return Vertical scrolling position in pixels.
*/
public int getScrollTop();
/**
* Sets scroll top offset.
*
* <p>
* Scrolling offset is the number of pixels this scrollable has been
* scrolled down.
* </p>
*
* @param pixelsScrolled
* the yOffset.
*/
public void setScrollTop(int pixelsScrolled);
/**
* Is the scrolling enabled.
*
* <p>
* Enabling scrolling allows the user to scroll the scrollable view
* interactively
* </p>
*
* @return <code>true</code> if the scrolling is allowed, otherwise
* <code>false</code>.
*/
public boolean isScrollable();
/**
* Enables or disables scrolling..
*
* <p>
* Enabling scrolling allows the user to scroll the scrollable view
* interactively
* </p>
*
* @param isScrollingEnabled
* true if the scrolling is allowed.
*/
public void setScrollable(boolean isScrollingEnabled);
}
|
