com.hp.hpl.guess.ui
Interface FrameListener

All Known Implementing Classes:
DumbFrameListener, GFrame, JungVisFrame, PrefuseDisplay, TGDisplay

public interface FrameListener


Method Summary
 void center()
           
 void center(Object o)
           
 void exportCGM(String filename)
           
 void exportEMF(String filename)
           
 void exportEPS(String filename)
           
 void exportGIF(String filename)
           
 void exportJAVA(String filename)
           
 void exportJPG(String filename)
           
 void exportPDF(String filename)
           
 void exportPNG(String filename)
           
 void exportPS(String filename)
           
 void exportSVG(String filename)
           
 void exportSWF(String filename)
           
 Color getDisplayBackground()
           
 BufferedImage getFullImage()
           
 void removeBackgroundImage()
           
 void repaint()
           
 void setBackgroundImage(String filename)
           
 void setBackgroundImage(String filename, double x, double y)
           
 void setDisplayBackground(Color c)
           
 void setFrozen(boolean state)
           
 

Method Detail

center

public void center()

center

public void center(Object o)

repaint

public void repaint()

setFrozen

public void setFrozen(boolean state)

exportGIF

public void exportGIF(String filename)

exportJPG

public void exportJPG(String filename)

exportPDF

public void exportPDF(String filename)

exportPS

public void exportPS(String filename)

exportEPS

public void exportEPS(String filename)

exportSVG

public void exportSVG(String filename)

exportSWF

public void exportSWF(String filename)

exportJAVA

public void exportJAVA(String filename)

exportCGM

public void exportCGM(String filename)

exportEMF

public void exportEMF(String filename)

exportPNG

public void exportPNG(String filename)

getDisplayBackground

public Color getDisplayBackground()

setDisplayBackground

public void setDisplayBackground(Color c)

setBackgroundImage

public void setBackgroundImage(String filename)

setBackgroundImage

public void setBackgroundImage(String filename,
                               double x,
                               double y)

removeBackgroundImage

public void removeBackgroundImage()

getFullImage

public BufferedImage getFullImage()