719 AWTEvent.MOUSE_EVENT_MASK | |
719 AWTEvent.MOUSE_EVENT_MASK | |
720 AWTEvent.INPUT_METHOD_EVENT_MASK | |
720 AWTEvent.INPUT_METHOD_EVENT_MASK | |
721 AWTEvent.HIERARCHY_EVENT_MASK | |
721 AWTEvent.HIERARCHY_EVENT_MASK | |
722 AWTEvent.HIERARCHY_BOUNDS_EVENT_MASK; |
722 AWTEvent.HIERARCHY_BOUNDS_EVENT_MASK; |
723 |
723 |
724 @SuppressWarnings("unchecked") |
724 @SuppressWarnings({"unchecked", "rawtypes"}) |
725 public void eventDispatched(AWTEvent event) { |
725 public void eventDispatched(AWTEvent event) { |
726 Object source = event.getSource(); |
726 Object source = event.getSource(); |
727 if (source instanceof Component) { |
727 if (source instanceof Component) { |
728 Component component = (Component) source; |
728 Component component = (Component) source; |
729 while (component != null) { |
729 while (component != null) { |
730 if (component instanceof JLayer) { |
730 if (component instanceof JLayer) { |
731 JLayer l = (JLayer) component; |
731 JLayer l = (JLayer) component; |
732 LayerUI ui = l.getUI(); |
732 LayerUI<?> ui = l.getUI(); |
733 if (ui != null && |
733 if (ui != null && |
734 isEventEnabled(l.getLayerEventMask(), event.getID()) && |
734 isEventEnabled(l.getLayerEventMask(), event.getID()) && |
735 (!(event instanceof InputEvent) || !((InputEvent)event).isConsumed())) { |
735 (!(event instanceof InputEvent) || !((InputEvent)event).isConsumed())) { |
736 ui.eventDispatched(event, l); |
736 ui.eventDispatched(event, l); |
737 } |
737 } |