public class HelpPage extends Object
| Modifier and Type | Class and Description |
|---|---|
private class |
HelpPage.MyEditorKit |
private class |
HelpPage.MyImageView |
private class |
HelpPage.MyViewFactory |
| Modifier and Type | Field and Description |
|---|---|
private static Debug |
_debug |
private static HTMLEditorKit.HTMLFactory |
_factory |
| Constructor and Description |
|---|
HelpPage() |
| Modifier and Type | Method and Description |
|---|---|
static Map<String,BufferedImage> |
getImages()
Liefert eine Map zurück, deren Schlüssel die Dateinamen und Werte die PNG-Dateien
des lokalen Verzeichnisses sind.
|
private static List<String> |
getPngNames() |
static void |
openHelp(String href)
Diese Methode öffnet die Dokumentation an der übergebenen Stelle.
|
private void |
openHelpPage(URL url) |
private static final Debug _debug
private static final HTMLEditorKit.HTMLFactory _factory
private void openHelpPage(URL url)
public static void openHelp(String href)
href - eine Hypertext-Referenzpublic static Map<String,BufferedImage> getImages()