edu.rice.cs.drjava.ui
Class RegionsTreePanel.DefaultState

java.lang.Object
  edu.rice.cs.drjava.ui.RegionsTreePanel.DefaultState

All Implemented Interfaces:

RegionsTreePanel.IChangeState

Enclosing class:

RegionsTreePanel<R extends OrderedDocumentRegion>

protected class RegionsTreePanel.DefaultState
extends Object
implements RegionsTreePanel.IChangeState

Normal state, GUI changes not delayed.

Constructor Summary

protected

RegionsTreePanel.DefaultState()

Method Summary

void	scrollPathToVisible(TreePath tp)
void	setLastAdded(DefaultMutableTreeNode node)
void	switchStateTo(RegionsTreePanel.IChangeState newState)
void	updateButtons()

Methods inherited from class java.lang.Object

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

Constructor Detail

RegionsTreePanel.DefaultState

protected RegionsTreePanel.DefaultState()

Method Detail

scrollPathToVisible

public void scrollPathToVisible(TreePath tp)

Specified by:

scrollPathToVisible in interface RegionsTreePanel.IChangeState

updateButtons

public void updateButtons()

Specified by:

updateButtons in interface RegionsTreePanel.IChangeState

setLastAdded

public void setLastAdded(DefaultMutableTreeNode node)

Specified by:

setLastAdded in interface RegionsTreePanel.IChangeState

switchStateTo

public void switchStateTo(RegionsTreePanel.IChangeState newState)

Specified by:

switchStateTo in interface RegionsTreePanel.IChangeState