equal
deleted
inserted
replaced
867 if (toScroll == null || !toScroll.isVisible()) { |
867 if (toScroll == null || !toScroll.isVisible()) { |
868 return; |
868 return; |
869 } |
869 } |
870 orientation = SwingConstants.HORIZONTAL; |
870 orientation = SwingConstants.HORIZONTAL; |
871 } |
871 } |
|
872 |
|
873 e.consume(); |
872 |
874 |
873 if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) { |
875 if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) { |
874 JViewport vp = scrollpane.getViewport(); |
876 JViewport vp = scrollpane.getViewport(); |
875 if (vp == null) { return; } |
877 if (vp == null) { return; } |
876 Component comp = vp.getView(); |
878 Component comp = vp.getView(); |