1 package org.astrogrid.ui.help;
2
3 import java.net.URL;
4 import java.io.File;
5
6 /*** HelpBrowser.java
7 *
8 * Defines the interface that all help browsers must define
9 *
10 * @Created : Feb 2001
11 * @Last Update :
12 *
13 * @author : M Hill
14 *
15 *
16 */
17
18 public interface HelpBrowser extends HelpKeys
19 {
20
21 /***
22 * Go to particular url
23 */
24 public void showHelp(URL url) throws HelpNotFoundException;
25
26 /***
27 * Factory method for creating more instances
28 */
29 public HelpBrowser createNewBrowser();
30
31 /***
32 * Set whether help is editable
33 */
34 public void setEditable(boolean b);
35 }