Class LocalHistory


  • public class LocalHistory
    extends java.lang.Object
    This class represents an history of the files visited by a single browser frame.
    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      protected class  LocalHistory.RadioListener
      To listen to the radio buttons.
    • Constructor Summary

      Constructors 
      Constructor Description
      LocalHistory​(javax.swing.JMenuBar mb, JSVGViewerFrame svgFrame)
      Creates a new local history.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      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

      • 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.
      • FORWARD_PENDING_STATE

        protected static final int FORWARD_PENDING_STATE
        See Also:
        Constant Field Values
    • 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 contain 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.