Ignore:
Timestamp:
2013-07-26T13:38:17+02:00 (11 years ago)
Author:
bastiK
Message:

see #8902 - add missing @Override annotations (patch by shinigami)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/MultiSplitPane.java

    r3083 r6084  
    157157
    158158    private class DefaultDividerPainter extends DividerPainter {
     159        @Override
    159160        public void paint(Graphics g, Divider divider) {
    160161            if ((divider == activeDivider()) && !isContinuousLayout()) {
     
    202203     * {@inheritDoc}
    203204     */
     205    @Override
    204206    protected void paintChildren(Graphics g) {
    205207        super.paintChildren(g);
     
    353355    private class InputHandler extends MouseInputAdapter implements KeyListener {
    354356
     357        @Override
    355358        public void mouseEntered(MouseEvent e) {
    356359            updateCursor(e.getX(), e.getY(), true);
    357360        }
    358361
     362        @Override
    359363        public void mouseMoved(MouseEvent e) {
    360364            updateCursor(e.getX(), e.getY(), true);
    361365        }
    362366
     367        @Override
    363368        public void mouseExited(MouseEvent e) {
    364369            updateCursor(e.getX(), e.getY(), false);
    365370        }
    366371
     372        @Override
    367373        public void mousePressed(MouseEvent e) {
    368374            startDrag(e.getX(), e.getY());
    369375        }
     376        @Override
    370377        public void mouseReleased(MouseEvent e) {
    371378            finishDrag(e.getX(), e.getY());
    372379        }
     380        @Override
    373381        public void mouseDragged(MouseEvent e) {
    374382            updateDrag(e.getX(), e.getY());
    375383        }
     384        @Override
    376385        public void keyPressed(KeyEvent e) {
    377386            if (e.getKeyCode() == KeyEvent.VK_ESCAPE) {
     
    379388            }
    380389        }
     390        @Override
    381391        public void keyReleased(KeyEvent e) { }
     392        @Override
    382393        public void keyTyped(KeyEvent e) { }
    383394    }
    384395
     396    @Override
    385397    public AccessibleContext getAccessibleContext() {
    386398        if( accessibleContext == null ) {
     
    391403
    392404    protected class AccessibleMultiSplitPane extends AccessibleJPanel {
     405        @Override
    393406        public AccessibleRole getAccessibleRole() {
    394407            return AccessibleRole.SPLIT_PANE;
Note: See TracChangeset for help on using the changeset viewer.