29 |
import java.awt.Cursor; |
import java.awt.Cursor; |
30 |
|
|
31 |
import java.awt.event.MouseEvent; |
import java.awt.event.MouseEvent; |
32 |
|
import java.awt.event.MouseWheelEvent; |
33 |
import java.awt.event.InputEvent; |
import java.awt.event.InputEvent; |
34 |
|
|
35 |
import java.util.HashMap; |
import java.util.HashMap; |
110 |
} |
} |
111 |
|
|
112 |
public void mouse(int x, int y, int button, int what) { |
public void mouse(int x, int y, int button, int what) { |
113 |
|
// Handle mouse wheel. |
114 |
|
if(button == 4 || button == 5) { |
115 |
|
int r = (button == 4 ? 1 : -1); |
116 |
|
MouseWheelEvent ev = new MouseWheelEvent(fakeSource, |
117 |
|
MouseWheelEvent.MOUSE_WHEEL, |
118 |
|
0, |
119 |
|
0, |
120 |
|
x, y, |
121 |
|
1, |
122 |
|
false, |
123 |
|
MouseWheelEvent.WHEEL_UNIT_SCROLL, |
124 |
|
r, r); |
125 |
|
binder.mouse(ev); |
126 |
|
return; |
127 |
|
} |
128 |
|
|
129 |
if(dbg) pa("GLScreen mouseEvent: "+x+" "+y+" "+button+" "+what); |
if(dbg) pa("GLScreen mouseEvent: "+x+" "+y+" "+button+" "+what); |
130 |
MouseEvent ev = null; |
MouseEvent ev = null; |
131 |
switch(what) { |
switch(what) { |