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 package org.utgenome.gwt.widget.client;
26
27 import com.google.gwt.user.client.ui.Composite;
28 import com.google.gwt.user.client.ui.Widget;
29
30
31
32
33
34
35
36
37
38
39
40 public abstract class TrackFrame extends Composite {
41
42 public static final int BUTTON_RELOAD = 1;
43 public static final int BUTTON_CONFIG = 1 << 1;
44 public static final int BUTTON_ADJUSTHEIGHT = 1 << 2;
45 public static final int BUTTON_MINIMIZE = 1 << 3;
46 public static final int BUTTON_CLOSE = 1 << 4;
47 public static final int BUTTON_ALL = BUTTON_RELOAD | BUTTON_CONFIG | BUTTON_ADJUSTHEIGHT | BUTTON_MINIMIZE | BUTTON_CLOSE;
48
49
50
51
52
53
54
55
56
57 public abstract void setVisible(int buttonSet, boolean visible);
58
59 public abstract void showCloseButton(boolean show);
60
61 public abstract void showConfigButton(boolean show);
62
63 public abstract void showMinimizeButton(boolean show);
64
65 public abstract void showAdjustHightButton(boolean show);
66
67 public abstract void showReloadButton(boolean show);
68
69
70
71
72
73
74 public abstract void setTrackTitle(String title);
75
76
77
78
79
80
81 public abstract String getTrackTitle();
82
83
84 public abstract void addTrackButtonListener(TrackButtonListener listener);
85
86
87
88
89
90
91
92 public abstract void setLoading(boolean loading);
93
94
95
96
97
98
99 public abstract void setTrackContent(Widget w);
100
101
102
103
104
105
106 public abstract Widget getDraggableWidget();
107
108
109
110
111
112
113 public abstract void enableResizeWidth(boolean enable);
114
115
116
117
118
119
120 public abstract void enableResizeHeight(boolean enable);
121
122
123
124
125
126
127 public abstract void setWidth(int pixelWidth);
128
129
130
131
132 public abstract void setHeight(int pixelHeight);
133
134
135 public void setWidth(String width)
136 {
137 throw new UnsupportedOperationException("setWidth(String) cannot be used. Instead, use setWidth(int)");
138 }
139
140 public void setHeight(String height)
141 {
142 throw new UnsupportedOperationException("setHeight(String) cannot be used. Instead, use setHeight(int)");
143 }
144
145 public void setSize(int pixelWidth, int pixelHeight)
146 {
147 setWidth(pixelWidth);
148 setHeight(pixelHeight);
149 }
150
151 public void setSize(String width, String height)
152 {
153 throw new UnsupportedOperationException("setSize(String, String) cannot be used. Instead, use setSize(int, int)");
154 }
155
156
157
158 }