|
39 | 39 | import com.jogamp.opengl.*;
|
40 | 40 | import com.jogamp.opengl.awt.GLCanvas;
|
41 | 41 | import java.awt.*;
|
| 42 | +import java.awt.event.MouseEvent; |
| 43 | +import java.awt.event.MouseWheelEvent; |
42 | 44 | import java.beans.*;
|
43 | 45 | import java.util.*;
|
44 | 46 |
|
@@ -487,4 +489,34 @@ public Collection<PerformanceStatistic> getPerFrameStatistics()
|
487 | 489 | {
|
488 | 490 | return this.wwd.getPerFrameStatistics();
|
489 | 491 | }
|
| 492 | + |
| 493 | + @Override |
| 494 | + protected void processMouseEvent(MouseEvent e) { |
| 495 | + double dpiScalingFactor = (double) (Toolkit.getDefaultToolkit().getScreenResolution() / 96.0); |
| 496 | + int x = (int) (e.getPoint().x * dpiScalingFactor); |
| 497 | + int y = (int) (e.getPoint().y * dpiScalingFactor); |
| 498 | + MouseEvent scaledEvent = new MouseEvent((Component)e.getSource(), e.getID(), |
| 499 | + e.getWhen(), e.getModifiersEx(), x, y, e.getXOnScreen(), e.getYOnScreen(), e.getClickCount(), false,e.getButton()); |
| 500 | + super.processMouseEvent(scaledEvent); |
| 501 | + } |
| 502 | + |
| 503 | + @Override |
| 504 | + protected void processMouseMotionEvent(MouseEvent e) { |
| 505 | + double dpiScalingFactor = (double) (Toolkit.getDefaultToolkit().getScreenResolution() / 96.0); |
| 506 | + int x = (int) (e.getPoint().x * dpiScalingFactor); |
| 507 | + int y = (int) (e.getPoint().y * dpiScalingFactor); |
| 508 | + MouseEvent scaledEvent = new MouseEvent((Component) e.getSource(), e.getID(), e.getWhen(), e.getModifiersEx(), |
| 509 | + x, y, e.getXOnScreen(), e.getYOnScreen(), e.getClickCount(), false, e.getButton()); |
| 510 | + super.processMouseMotionEvent(scaledEvent); |
| 511 | + } |
| 512 | + |
| 513 | + @Override |
| 514 | + protected void processMouseWheelEvent(MouseWheelEvent e) { |
| 515 | + double dpiScalingFactor = (double) (Toolkit.getDefaultToolkit().getScreenResolution() / 96.0);; |
| 516 | + int x = (int) (e.getPoint().x * dpiScalingFactor); |
| 517 | + int y = (int) (e.getPoint().y * dpiScalingFactor); |
| 518 | + MouseWheelEvent scaledEvent = new MouseWheelEvent((Component) e.getSource(), |
| 519 | + e.getID(), e.getWhen(), e.getModifiersEx(), x, y, e.getXOnScreen(), e.getYOnScreen(), e.getClickCount(), false, e.getScrollType(),e.getScrollAmount(),e.getWheelRotation()); |
| 520 | + super.processMouseWheelEvent(scaledEvent); |
| 521 | + } |
490 | 522 | }
|
0 commit comments