org.apache.batik.apps.svgbrowser
Class LocalHistory

java.lang.Object
  |
  +--org.apache.batik.apps.svgbrowser.LocalHistory

public class LocalHistory

extends java.lang.Object

This class represents an history of the files visited by a single browser frame.

Inner Class Summary

protected class

LocalHistory.RadioListener To listen to the radio buttons.

Field Summary

protected java.awt.event.ActionListener	actionListener The action listener.
protected static int	BACK_PENDING_STATE
protected int	currentURI The index of the current URI.
protected static int	FORWARD_PENDING_STATE
protected javax.swing.ButtonGroup	group The button group for the menu items.
protected int	index The index of the first history item in this menu.
protected javax.swing.JMenu	menu The menu which contains the history.
protected static int	RELOAD_PENDING_STATE
protected static int	STABLE_STATE
protected int	state The current state.
protected JSVGViewerFrame	svgFrame The frame to manage.
protected java.util.List	visitedURIs The visited URIs.

Constructor Summary

LocalHistory(javax.swing.JMenuBar mb, JSVGViewerFrame svgFrame)
Creates a new local history.

Method Summary

void	back() Goes back of one position in the history.
boolean	canGoBack() Whether it is possible to go back.
boolean	canGoForward() Whether it is possible to go forward.
void	forward() Goes forward of one position in the history.
void	reload() Reloads the current document.
protected void	update() Updates the state of this history.
void	update(java.lang.String uri) Updates the history.

Methods inherited from class java.lang.Object

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

Field Detail

svgFrame

protected JSVGViewerFrame svgFrame

The frame to manage.

menu

protected javax.swing.JMenu menu

The menu which contains the history.

index

protected int index

The index of the first history item in this menu.

visitedURIs

protected java.util.List visitedURIs

The visited URIs.

currentURI

protected int currentURI

The index of the current URI.

group

protected javax.swing.ButtonGroup group

The button group for the menu items.

actionListener

protected java.awt.event.ActionListener actionListener

The action listener.

state

protected int state

The current state.

STABLE_STATE

protected static final int STABLE_STATE

BACK_PENDING_STATE

protected static final int BACK_PENDING_STATE

FORWARD_PENDING_STATE

protected static final int FORWARD_PENDING_STATE

RELOAD_PENDING_STATE

protected static final int RELOAD_PENDING_STATE

Constructor Detail

LocalHistory

public LocalHistory(javax.swing.JMenuBar mb,
                    JSVGViewerFrame svgFrame)

Creates a new local history.

Parameters:

mb - The menubar used to display the history. It must contains one '@@@' item used as marker to place the history items.

svgFrame - The frame to manage.

Method Detail

back

public void back()

Goes back of one position in the history. Assumes that canGoBack() is true.

canGoBack

public boolean canGoBack()

Whether it is possible to go back.

forward

public void forward()

Goes forward of one position in the history. Assumes that canGoForward() is true.

canGoForward

public boolean canGoForward()

Whether it is possible to go forward.

reload

public void reload()

Reloads the current document.

update

public void update(java.lang.String uri)

Updates the history.

Parameters:

uri - The URI of the document just loaded.

update

protected void update()

Updates the state of this history.