edu.rice.cs.drjava.ui
Class ClipboardHistoryFrame.FrameState

java.lang.Object
  edu.rice.cs.drjava.ui.ClipboardHistoryFrame.FrameState

Enclosing class:

ClipboardHistoryFrame

public static class ClipboardHistoryFrame.FrameState
extends java.lang.Object

Class to save the frame state, i.e. location and dimensions.

Field Summary

private java.awt.Dimension	_dim
private java.awt.Point	_loc

Constructor Summary

ClipboardHistoryFrame.FrameState(ClipboardHistoryFrame comp)

ClipboardHistoryFrame.FrameState(java.awt.Dimension d, java.awt.Point l)

ClipboardHistoryFrame.FrameState(java.lang.String s)

Method Summary

java.awt.Dimension	getDimension()
java.awt.Point	getLocation()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_dim

private java.awt.Dimension _dim

_loc

private java.awt.Point _loc

Constructor Detail

ClipboardHistoryFrame.FrameState

public ClipboardHistoryFrame.FrameState(java.awt.Dimension d,
                                        java.awt.Point l)

ClipboardHistoryFrame.FrameState

public ClipboardHistoryFrame.FrameState(java.lang.String s)

ClipboardHistoryFrame.FrameState

public ClipboardHistoryFrame.FrameState(ClipboardHistoryFrame comp)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getDimension

public java.awt.Dimension getDimension()

getLocation

public java.awt.Point getLocation()