Class Navigation

  • All Implemented Interfaces:
    Part

    public class Navigation
    extends java.lang.Object
    implements Part
    Bildet den Navigations-Baum im linken Frame ab.
    Author:
    willuhn
    • Constructor Summary

      Constructors 
      Constructor Description
      Navigation()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected void add​(NavigationItem navi)
      Fuegt einen weiteren Navigationszweig hinzu.
      protected void expand()
      Klappt die Elemente entsprechend letztem Status/Vorkonfiguration alle auf bzw.
      void paint​(org.eclipse.swt.widgets.Composite parent)
      Malt die Komponente in das angegebene Composite.
      void select​(java.lang.String id)
      Selektiert das Navigationselement mit der angegebenen ID.
      void setUnreadCount​(java.lang.String id, int unread)
      Ergaenzt ein Navigationselement um eine "Ungelesen"-Markierung wie in der Ordner-Ansicht eines Mailprogramms.
      void update​(NavigationItem item)
      Aktualisiert einen Teil des Navigationsbaumes.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • Navigation

        public Navigation()
    • Method Detail

      • paint

        public void paint​(org.eclipse.swt.widgets.Composite parent)
                   throws java.rmi.RemoteException
        Description copied from interface: Part
        Malt die Komponente in das angegebene Composite.
        Specified by:
        paint in interface Part
        Parameters:
        parent - das Composite.
        Throws:
        java.rmi.RemoteException
        See Also:
        Part.paint(org.eclipse.swt.widgets.Composite)
      • expand

        protected void expand()
        Klappt die Elemente entsprechend letztem Status/Vorkonfiguration alle auf bzw. zu.
      • add

        protected void add​(NavigationItem navi)
                    throws java.lang.Exception
        Fuegt einen weiteren Navigationszweig hinzu.
        Parameters:
        navi - das hinzuzufuegende Navigations-Element.
        Throws:
        java.lang.Exception
      • update

        public void update​(NavigationItem item)
                    throws java.rmi.RemoteException
        Aktualisiert einen Teil des Navigationsbaumes.
        Parameters:
        item - das zu aktualisierende Element.
        Throws:
        java.rmi.RemoteException
      • setUnreadCount

        public void setUnreadCount​(java.lang.String id,
                                   int unread)
        Ergaenzt ein Navigationselement um eine "Ungelesen"-Markierung wie in der Ordner-Ansicht eines Mailprogramms.
        Parameters:
        id - die ID des Navigationselementes.
        unread - Anzahl der ungelesenen Elemente. Wird ein Wert groesser "0" uebergeben, wird das Navigationselement fett gedruckt und die Anzahl der ungelesenen Elemente in Klammern dahinter angezeigt. Andernfalls wird der Fettdruck aufgehoben und die Anzahl entfernt.
      • select

        public void select​(java.lang.String id)
        Selektiert das Navigationselement mit der angegebenen ID.
        Parameters:
        id - zu selektierende ID.