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

java.lang.Object
  extended by edu.rice.cs.drjava.ui.ClipboardHistoryFrame.FrameState
Enclosing class:
ClipboardHistoryFrame

public static class ClipboardHistoryFrame.FrameState
extends Object

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


Constructor Summary
ClipboardHistoryFrame.FrameState(ClipboardHistoryFrame comp)
           
ClipboardHistoryFrame.FrameState(Dimension d, Point l)
           
ClipboardHistoryFrame.FrameState(String s)
           
 
Method Summary
 Dimension getDimension()
           
 Point getLocation()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ClipboardHistoryFrame.FrameState

public ClipboardHistoryFrame.FrameState(Dimension d,
                                        Point l)

ClipboardHistoryFrame.FrameState

public ClipboardHistoryFrame.FrameState(String s)

ClipboardHistoryFrame.FrameState

public ClipboardHistoryFrame.FrameState(ClipboardHistoryFrame comp)
Method Detail

toString

public String toString()
Overrides:
toString in class Object

getDimension

public Dimension getDimension()

getLocation

public Point getLocation()