vips.gui.eigenschaften
Class DocShell

java.lang.Object
  vips.gui.eigenschaften.DocShell

public class DocShell
extends java.lang.Object

Diese Klasse ist ein Fenster, in dem die Dokumentation zu einer Bibliotheks-Funktion angezeigt werden kann.
Wird von AufrufPanel verwendet.

Constructor Summary

DocShell(org.eclipse.swt.widgets.Shell parent)
Erzeugt ein neues Fenster, welches zunächst noch versteckt ist und mit zeigeDoc angezeigt werden kann.

Method Summary

void	dispose() Disposed die Shell.
boolean	isVerfuegbar() Gibt zurück, ob die DocShell angezeigt werden kann, dh das Browser-Control verfügbar ist.
void	updateShellBounds() Setzt die Position und Größe des Fensters neu.
void	zeigeDoc(java.lang.String operation) Diese Methode versucht, für operation eine Hilfe-Seite zu finden und anzuzeigen.

Methods inherited from class java.lang.Object

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

Constructor Detail

DocShell

public DocShell(org.eclipse.swt.widgets.Shell parent)

Erzeugt ein neues Fenster, welches zunächst noch versteckt ist und mit zeigeDoc angezeigt werden kann.

Parameters:

parent - Das Fenster, zu dem dieses Dokumentationsfenster gehört.

Throws:

java.lang.IllegalArgumentException - Wenn einer der Parameter null ist

Method Detail

isVerfuegbar

public boolean isVerfuegbar()

Gibt zurück, ob die DocShell angezeigt werden kann, dh das Browser-Control verfügbar ist.

zeigeDoc

public void zeigeDoc(java.lang.String operation)

Diese Methode versucht, für operation eine Hilfe-Seite zu finden und anzuzeigen.
Wird keine Dokumentation gefunden oder ist operation == null oder "", dann wird das Fenster versteckt.

updateShellBounds

public void updateShellBounds()

Setzt die Position und Größe des Fensters neu.
Darf auch aufgerufen werden, wenn die shell nicht angezeigt wird.

dispose

public void dispose()

Disposed die Shell.
Danach ist das Objekt nicht mehr zu gebrauchen.