de.uka.ilkd.key.gui

Class TableRowResizer

java.lang.Object

java.awt.event.MouseAdapter

javax.swing.event.MouseInputAdapter

de.uka.ilkd.key.gui.TableRowResizer

All Implemented Interfaces:

java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.awt.event.MouseWheelListener, java.util.EventListener, javax.swing.event.MouseInputListener

public class TableRowResizer
extends javax.swing.event.MouseInputAdapter

A mouse listener for resizing the height of the JTable rows. Taken from here: https://stackoverflow.com/questions/4387995/adjusting-individual-row-height-using-cursor-on-jtable

Author:

mihai

Field Summary

Fields

Modifier and Type	Field and Description
private int	mouseYOffset
private java.awt.Cursor	otherCursor
static java.awt.Cursor	resizeCursor
private int	resizingRow
private javax.swing.JTable	table

Constructor Summary

Constructors

Constructor and Description
TableRowResizer(javax.swing.JTable table)

Method Summary

Modifier and Type	Method and Description
private int	getResizingRow(java.awt.Point p)
private int	getResizingRow(java.awt.Point p, int row)
void	mouseDragged(java.awt.event.MouseEvent e)
void	mouseMoved(java.awt.event.MouseEvent e)
void	mousePressed(java.awt.event.MouseEvent e)
private void	swapCursor()

Methods inherited from class java.awt.event.MouseAdapter

mouseClicked, mouseEntered, mouseExited, mouseReleased, mouseWheelMoved

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.awt.event.MouseListener

mouseClicked, mouseEntered, mouseExited, mouseReleased

Field Detail

resizeCursor

public static java.awt.Cursor resizeCursor

mouseYOffset

private int mouseYOffset

resizingRow

private int resizingRow

otherCursor

private java.awt.Cursor otherCursor

table

private javax.swing.JTable table

Constructor Detail

TableRowResizer

public TableRowResizer(javax.swing.JTable table)

Method Detail

getResizingRow

private int getResizingRow(java.awt.Point p)

getResizingRow

private int getResizingRow(java.awt.Point p,
                           int row)

mousePressed

public void mousePressed(java.awt.event.MouseEvent e)

Specified by:

mousePressed in interface java.awt.event.MouseListener

Overrides:

mousePressed in class java.awt.event.MouseAdapter

swapCursor

private void swapCursor()

mouseMoved

public void mouseMoved(java.awt.event.MouseEvent e)

Specified by:

mouseMoved in interface java.awt.event.MouseMotionListener

Overrides:

mouseMoved in class java.awt.event.MouseAdapter

mouseDragged

public void mouseDragged(java.awt.event.MouseEvent e)

Specified by:

mouseDragged in interface java.awt.event.MouseMotionListener

Overrides:

mouseDragged in class java.awt.event.MouseAdapter