1 | static {↵ | | 1 | static {↵
|
2 | commands.add(ActionNames.HELP);↵ | | 2 | commands.add(HELP);↵
|
3 | helpDoc = new HtmlPane();↵ | | 3 | helpDoc = new HtmlPane();↵
|
4 | scroller = new JScrollPane(helpDoc);↵ | | 4 | scroller = new JScrollPane(helpDoc);↵
|
5 | helpDoc.setEditable(false);↵ | | 5 | helpDoc.setEditable(false);↵
|
6 | try {↵ | | 6 | try {↵
|
7 | helpDoc.setPage(HELP_PAGE);↵ | | 7 | helpDoc.setPage(HELP_PAGE);↵
|
8 | currentPage = HELP_PAGE;↵ | | 8 | currentPage = HELP_PAGE;↵
|
9 | } catch (IOException err) {↵ | | 9 | } catch (IOException err) {↵
|
10 | String msg = "Couldn't load help file " + err.toString();↵ | | 10 | String msg = "Couldn't load help file " + err.toString();↵
|
11 | log.error(msg);↵ | | 11 | log.error(msg);↵
|
12 | currentPage = "";// Avoid NPE in resetPage() // $NON-NLS-1$↵ | | 12 | currentPage = "";// Avoid NPE in resetPage()↵
|
13 | }↵ | | 13 | }↵
|
14 | | | 14 |
|