com.sun.electric.tool.user.ui
Class EditWindowFocusBrowser

java.lang.Object
  extended by com.sun.electric.tool.user.ui.EditWindowFocusBrowser

public class EditWindowFocusBrowser
extends java.lang.Object

This class saves foci much like a web browser saves page history. A focus is a particular zoom and pan location of a cell in an EditWindow. The browser saves old foci, and lets you move forward and backward between them. When a new focus is created, all foci forward of the current one are destroyed, much like typing in a new URL into a web browser.


Method Summary
 void goBack()
          Go back to the last saved focus
 void goForward()
          Go forward to the next saved focus
 void updateCurrentFocus()
          Updates the current focus with any changes to panning
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

goBack

public void goBack()
Go back to the last saved focus


goForward

public void goForward()
Go forward to the next saved focus


updateCurrentFocus

public void updateCurrentFocus()
Updates the current focus with any changes to panning