git.gag.com Git - fw/altos/blob - altosuilib/GrabNDrag.java

   1 /*
   2  * Copyright © 2010 Anthony Towns <aj@erisian.com.au>
   3  *
   4  * This program is free software; you can redistribute it and/or modify
   5  * it under the terms of the GNU General Public License as published by
   6  * the Free Software Foundation; either version 2 of the License, or
   7  * (at your option) any later version.
   8  *
   9  * This program is distributed in the hope that it will be useful, but
  10  * WITHOUT ANY WARRANTY; without even the implied warranty of
  11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  12  * General Public License for more details.
  13  *
  14  * You should have received a copy of the GNU General Public License along
  15  * with this program; if not, write to the Free Software Foundation, Inc.,
  16  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
  17  */
  18
  19 package org.altusmetrum.altosuilib_12;
  20
  21 import java.awt.*;
  22 import java.awt.event.*;
  23 import javax.swing.*;
  24 import javax.swing.event.MouseInputAdapter;
  25
  26 class GrabNDrag extends MouseInputAdapter {
  27         private JComponent scroll;
  28         private Point startPt = new Point();
  29
  30         public GrabNDrag(JComponent scroll) {
  31                 this.scroll = scroll;
  32                 scroll.addMouseMotionListener(this);
  33                 scroll.addMouseListener(this);
  34                 scroll.setAutoscrolls(true);
  35         }
  36
  37         public static boolean grab_n_drag(MouseEvent e) {
  38                 return e.getModifiers() == InputEvent.BUTTON1_MASK;
  39         }
  40
  41         public void mousePressed(MouseEvent e) {
  42                 if (grab_n_drag(e))
  43                         startPt.setLocation(e.getPoint());
  44         }
  45         public void mouseDragged(MouseEvent e) {
  46                 if (grab_n_drag(e)) {
  47                         int xd = e.getX() - startPt.x;
  48                         int yd = e.getY() - startPt.y;
  49
  50                         Rectangle r = scroll.getVisibleRect();
  51                         r.x -= xd;
  52                         r.y -= yd;
  53                         scroll.scrollRectToVisible(r);
  54                 }
  55         }
  56 }