source: josm/trunk/src/org/openstreetmap/josm/gui/ScrollViewport.java@ 9171

Last change on this file since 9171 was 9078, checked in by Don-vip, 8 years ago

sonar - Immutable Field

  • Property svn:eol-style set to native
File size: 6.5 KB
Line 
1// License: GPL. For details, see LICENSE file.
2package org.openstreetmap.josm.gui;
3
4import java.awt.BorderLayout;
5import java.awt.Dimension;
6import java.awt.Point;
7import java.awt.Rectangle;
8import java.awt.event.ActionEvent;
9import java.awt.event.ActionListener;
10import java.awt.event.ComponentAdapter;
11import java.awt.event.ComponentEvent;
12import java.awt.event.MouseAdapter;
13import java.awt.event.MouseEvent;
14import java.util.ArrayList;
15import java.util.List;
16
17import javax.swing.JButton;
18import javax.swing.JComponent;
19import javax.swing.JPanel;
20import javax.swing.JViewport;
21import javax.swing.Timer;
22
23import org.openstreetmap.josm.tools.ImageProvider;
24
25/** A viewport with UP and DOWN arrow buttons, so that the user can make the
26 * content scroll.
27 */
28public class ScrollViewport extends JPanel {
29
30 private static final int NO_SCROLL = 0;
31
32 public static final int UP_DIRECTION = 1;
33 public static final int DOWN_DIRECTION = 2;
34 public static final int LEFT_DIRECTION = 4;
35 public static final int RIGHT_DIRECTION = 8;
36 public static final int VERTICAL_DIRECTION = UP_DIRECTION | DOWN_DIRECTION;
37 public static final int HORIZONTAL_DIRECTION = LEFT_DIRECTION | RIGHT_DIRECTION;
38 public static final int ALL_DIRECTION = HORIZONTAL_DIRECTION | VERTICAL_DIRECTION;
39
40 private class ScrollViewPortMouseListener extends MouseAdapter {
41 private final int direction;
42
43 ScrollViewPortMouseListener(int direction) {
44 this.direction = direction;
45 }
46
47 @Override
48 public void mouseExited(MouseEvent arg0) {
49 ScrollViewport.this.scrollDirection = NO_SCROLL;
50 timer.stop();
51 }
52
53 @Override
54 public void mouseReleased(MouseEvent arg0) {
55 ScrollViewport.this.scrollDirection = NO_SCROLL;
56 timer.stop();
57 }
58
59 @Override public void mousePressed(MouseEvent arg0) {
60 ScrollViewport.this.scrollDirection = direction;
61 scroll();
62 timer.restart();
63 }
64
65 }
66
67 private final JViewport vp = new JViewport();
68 private JComponent component;
69
70 private final List<JButton> buttons = new ArrayList<>();
71
72 private final Timer timer = new Timer(100, new ActionListener() {
73 @Override
74 public void actionPerformed(ActionEvent arg0) {
75 ScrollViewport.this.scroll();
76 }
77 });
78
79 private int scrollDirection = NO_SCROLL;
80
81 public ScrollViewport(JComponent c, int direction) {
82 this(direction);
83 add(c);
84 }
85
86 public ScrollViewport(int direction) {
87 setLayout(new BorderLayout());
88
89 JButton button;
90
91 // UP
92 if ((direction & UP_DIRECTION) > 0) {
93 button = new JButton();
94 button.addMouseListener(new ScrollViewPortMouseListener(UP_DIRECTION));
95 button.setPreferredSize(new Dimension(10, 10));
96 button.setIcon(ImageProvider.get("svpUp"));
97 add(button, BorderLayout.NORTH);
98 buttons.add(button);
99 }
100
101 // DOWN
102 if ((direction & DOWN_DIRECTION) > 0) {
103 button = new JButton();
104 button.addMouseListener(new ScrollViewPortMouseListener(DOWN_DIRECTION));
105 button.setPreferredSize(new Dimension(10, 10));
106 button.setIcon(ImageProvider.get("svpDown"));
107 add(button, BorderLayout.SOUTH);
108 buttons.add(button);
109 }
110
111 // LEFT
112 if ((direction & LEFT_DIRECTION) > 0) {
113 button = new JButton();
114 button.addMouseListener(new ScrollViewPortMouseListener(LEFT_DIRECTION));
115 button.setPreferredSize(new Dimension(10, 10));
116 button.setIcon(ImageProvider.get("svpLeft"));
117 add(button, BorderLayout.WEST);
118 buttons.add(button);
119 }
120
121 // RIGHT
122 if ((direction & RIGHT_DIRECTION) > 0) {
123 button = new JButton();
124 button.addMouseListener(new ScrollViewPortMouseListener(RIGHT_DIRECTION));
125 button.setPreferredSize(new Dimension(10, 10));
126 button.setIcon(ImageProvider.get("svpRight"));
127 add(button, BorderLayout.EAST);
128 buttons.add(button);
129 }
130
131 add(vp, BorderLayout.CENTER);
132
133 this.addComponentListener(new ComponentAdapter() {
134 @Override public void componentResized(ComponentEvent e) {
135 showOrHideButtons();
136 }
137 });
138
139 showOrHideButtons();
140
141 timer.setRepeats(true);
142 timer.setInitialDelay(400);
143 }
144
145 public synchronized void scroll() {
146 int direction = scrollDirection;
147
148 if (component == null || direction == NO_SCROLL)
149 return;
150
151 Rectangle viewRect = vp.getViewRect();
152
153 int deltaX = 0;
154 int deltaY = 0;
155
156 if (direction < LEFT_DIRECTION) {
157 deltaY = viewRect.height * 2 / 7;
158 } else {
159 deltaX = viewRect.width * 2 / 7;
160 }
161
162 switch (direction) {
163 case UP_DIRECTION :
164 deltaY *= -1;
165 break;
166 case LEFT_DIRECTION :
167 deltaX *= -1;
168 break;
169 }
170
171 scroll(deltaX, deltaY);
172 }
173
174 public synchronized void scroll(int deltaX, int deltaY) {
175 if (component == null)
176 return;
177 Dimension compSize = component.getSize();
178 Rectangle viewRect = vp.getViewRect();
179
180 int newX = viewRect.x + deltaX;
181 int newY = viewRect.y + deltaY;
182
183 if (newY < 0) {
184 newY = 0;
185 }
186 if (newY > compSize.height - viewRect.height) {
187 newY = compSize.height - viewRect.height;
188 }
189 if (newX < 0) {
190 newX = 0;
191 }
192 if (newX > compSize.width - viewRect.width) {
193 newX = compSize.width - viewRect.width;
194 }
195
196 vp.setViewPosition(new Point(newX, newY));
197 }
198
199 /**
200 * Update the visibility of the buttons
201 * Only show them if the Viewport is too small for the content.
202 */
203 public void showOrHideButtons() {
204 boolean needButtons = vp.getViewSize().height > vp.getViewRect().height ||
205 vp.getViewSize().width > vp.getViewRect().width;
206 for (JButton b : buttons) {
207 b.setVisible(needButtons);
208 }
209 }
210
211 public Rectangle getViewRect() {
212 return vp.getViewRect();
213 }
214
215 public Dimension getViewSize() {
216 return vp.getViewSize();
217 }
218
219 public Point getViewPosition() {
220 return vp.getViewPosition();
221 }
222
223 public void add(JComponent c) {
224 vp.removeAll();
225 this.component = c;
226 vp.add(c);
227 }
228}
Note: See TracBrowser for help on using the repository browser.