summaryrefslogtreecommitdiff
path: root/BKULocal/src/main/java/at/gv/egiz/bku/local/gui/LocalHelpListener.java
diff options
context:
space:
mode:
Diffstat (limited to 'BKULocal/src/main/java/at/gv/egiz/bku/local/gui/LocalHelpListener.java')
-rw-r--r--BKULocal/src/main/java/at/gv/egiz/bku/local/gui/LocalHelpListener.java16
1 files changed, 12 insertions, 4 deletions
diff --git a/BKULocal/src/main/java/at/gv/egiz/bku/local/gui/LocalHelpListener.java b/BKULocal/src/main/java/at/gv/egiz/bku/local/gui/LocalHelpListener.java
index d551ae0d..c957e132 100644
--- a/BKULocal/src/main/java/at/gv/egiz/bku/local/gui/LocalHelpListener.java
+++ b/BKULocal/src/main/java/at/gv/egiz/bku/local/gui/LocalHelpListener.java
@@ -17,6 +17,7 @@
package at.gv.egiz.bku.local.gui;
import at.gv.egiz.bku.gui.AbstractHelpListener;
+import at.gv.egiz.bku.gui.DefaultHelpListener;
import java.awt.Desktop;
import java.io.IOException;
import java.net.URISyntaxException;
@@ -24,30 +25,37 @@ import java.net.URL;
import java.util.Locale;
/**
- *
+ * Open help document in browser, fallback to default (swing dialog) if Java Desktop API not supported.
+ *
* @author Clemens Orthacker <clemens.orthacker@iaik.tugraz.at>
*/
public class LocalHelpListener extends AbstractHelpListener {
protected Desktop desktop;
+ protected DefaultHelpListener fallback;
public LocalHelpListener(URL baseURL, Locale locale) {
super(baseURL, locale);
if (Desktop.isDesktopSupported()) {
desktop = Desktop.getDesktop();
+ } else {
+ log.info("Java Desktop API not available on current platform (libgnome installed?), falling back to DefaultHelpListener");
+ fallback = new DefaultHelpListener(baseURL, locale);
}
}
@Override
public void showDocument(URL helpDocument, String helpTopic) throws IOException, URISyntaxException {
- if (desktop == null) {
- log.error("Failed to open default browser: Desktop API not available (libgnome installed?)");
- } else {
+ if (desktop != null) {
if (!desktop.isSupported(Desktop.Action.BROWSE)) {
log.error("Failed to open default browser: The system provides the Desktop API, but does not support the BROWSE action");
} else {
Desktop.getDesktop().browse(helpDocument.toURI());
}
+ } else if (fallback != null) {
+ fallback.showDocument(helpDocument, helpTopic);
+ } else {
+ log.error("failed to display help document");
}
}
}