edu.rice.cs.drjava.ui
Class BrowserHistoryPanel

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  edu.rice.cs.drjava.ui.TabbedPanel
                      edu.rice.cs.drjava.ui.RegionsListPanel<BrowserDocumentRegion>
                          edu.rice.cs.drjava.ui.BrowserHistoryPanel

All Implemented Interfaces:

DropTargetListener, ImageObserver, MenuContainer, Serializable, EventListener, Accessible

public class BrowserHistoryPanel
extends RegionsListPanel<BrowserDocumentRegion>

Panel for displaying browser history. Currently not used because of synchronization problems. This class is a swing view class and hence should only be accessed from the event-handling thread.

Version:

$Id$

See Also:

Serialized Form

Nested Class Summary

protected class

BrowserHistoryPanel.BrowserHistoryListUserObj Class that gets put into the tree.

Nested classes/interfaces inherited from class edu.rice.cs.drjava.ui.RegionsListPanel

RegionsListPanel.RegionListUserObj<R extends IDocumentRegion>, RegionsListPanel.RegionMouseAdapter

Nested classes/interfaces inherited from class javax.swing.JPanel

JPanel.AccessibleJPanel

Nested classes/interfaces inherited from class javax.swing.JComponent

JComponent.AccessibleJComponent

Nested classes/interfaces inherited from class java.awt.Container

Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

protected AbstractAction	_backAction
protected JButton	_backButton
protected AbstractAction	_forwardAction
protected JButton	_forwardButton
protected JButton	_goToButton
protected JButton	_removeAllButton
protected JButton	_removeButton

Fields inherited from class edu.rice.cs.drjava.ui.RegionsListPanel

_buttonPanel, _frame, _leftPane, _list, _listModel, _model, _title

Fields inherited from class edu.rice.cs.drjava.ui.TabbedPanel

_closeButton, _closePanel, _displayed, _mainPanel

Fields inherited from class javax.swing.JComponent

accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

BrowserHistoryPanel(MainFrame frame)
Constructs a new browser history panel.

Method Summary

protected void	backRegion() Go to the previous region.
protected void	forwardRegion() Go to the next region.
protected RegionsListPanel.RegionListUserObj<BrowserDocumentRegion>	getUserObjForRegion(BrowserDocumentRegion r)
protected void	goToRegion() Go to region.
protected JComponent[]	makeButtons() Creates the buttons for controlling the regions.
protected AbstractAction[]	makePopupMenuActions() Makes the popup menu actions.
protected RegionsListPanel.RegionListUserObj<BrowserDocumentRegion>	makeRegionListUserObj(BrowserDocumentRegion r) Factory method to create user objects put in the tree.
protected void	performDefaultAction() Action performed when the Enter key is pressed.
protected void	updateButtons() Update button state and text.

Methods inherited from class edu.rice.cs.drjava.ui.RegionsListPanel

_close, addRegion, getSelectedRegions, removeRegion

Methods inherited from class edu.rice.cs.drjava.ui.TabbedPanel

addCloseListener, dragEnter, dragExit, dragOver, drop, dropActionChanged, getName, isDisplayed, requestFocusInWindow, setDisplayed, setVisible

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, unregisterKeyboardAction, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusBackward, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

_backButton

protected volatile JButton _backButton

_forwardButton

protected volatile JButton _forwardButton

_goToButton

protected volatile JButton _goToButton

_removeButton

protected volatile JButton _removeButton

_removeAllButton

protected volatile JButton _removeAllButton

_backAction

protected volatile AbstractAction _backAction

_forwardAction

protected volatile AbstractAction _forwardAction

Constructor Detail

BrowserHistoryPanel

public BrowserHistoryPanel(MainFrame frame)

Constructs a new browser history panel. This is swing view class and hence should only be accessed from the event-handling thread.

Parameters:

frame - the MainFrame

Method Detail

performDefaultAction

protected void performDefaultAction()

Action performed when the Enter key is pressed. Should be overridden.

Overrides:

performDefaultAction in class RegionsListPanel<BrowserDocumentRegion>

goToRegion

protected void goToRegion()

Go to region.

Overrides:

goToRegion in class RegionsListPanel<BrowserDocumentRegion>

backRegion

protected void backRegion()

Go to the previous region.

forwardRegion

protected void forwardRegion()

Go to the next region.

makeButtons

protected JComponent[] makeButtons()

Creates the buttons for controlling the regions. Should be overridden.

Overrides:

makeButtons in class RegionsListPanel<BrowserDocumentRegion>

updateButtons

protected void updateButtons()

Update button state and text.

Overrides:

updateButtons in class RegionsListPanel<BrowserDocumentRegion>

makePopupMenuActions

protected AbstractAction[] makePopupMenuActions()

Makes the popup menu actions. Should be overridden if additional actions besides "Go to" and "Remove" are added.

getUserObjForRegion

protected RegionsListPanel.RegionListUserObj<BrowserDocumentRegion> getUserObjForRegion(BrowserDocumentRegion r)

Overrides:

getUserObjForRegion in class RegionsListPanel<BrowserDocumentRegion>

Returns:

the usser object in the list associated with the region, or null if not found

makeRegionListUserObj

protected RegionsListPanel.RegionListUserObj<BrowserDocumentRegion> makeRegionListUserObj(BrowserDocumentRegion r)

Factory method to create user objects put in the tree. If subclasses extend RegionListUserObj, they need to override this method.

Overrides:

makeRegionListUserObj in class RegionsListPanel<BrowserDocumentRegion>