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()