-
Notifications
You must be signed in to change notification settings - Fork 31
Expand file tree
/
Copy pathHelpFrame.java
More file actions
106 lines (94 loc) · 4.51 KB
/
Copy pathHelpFrame.java
File metadata and controls
106 lines (94 loc) · 4.51 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
/*BEGIN_COPYRIGHT_BLOCK
*
* Copyright (c) 2001-2015, JavaPLT group at Rice University (drjava@rice.edu)
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
* * Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* * Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
* * Neither the names of DrJava, DrScala, the JavaPLT group, Rice University, nor the
* names of its contributors may be used to endorse or promote products
* derived from this software without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
* A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
* EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
* PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
* LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
* NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
* SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*
* This software is Open Source Initiative approved Open Source Software.
* Open Source Initative Approved is a trademark of the Open Source Initiative.
*
* This file is part of DrScala. Download the current version of this project
* from http://www.drscala.org/.
*
* END_COPYRIGHT_BLOCK*/
package edu.rice.cs.drjava.ui;
import edu.rice.cs.drjava.platform.PlatformFactory;
import javax.swing.event.HyperlinkListener;
import javax.swing.event.HyperlinkEvent;
import java.net.URL;
import java.net.MalformedURLException;
/**
* The frame for displaying the HTML help files.
* @version $Id: HelpFrame.java 5727 2012-09-30 03:58:32Z rcartwright $
*/
public class HelpFrame extends HTMLFrame {
private static final String HELP_PATH = "/edu/rice/cs/drjava/docs/user/";
protected static final String CONTENTS_PAGE = "index.html";
protected static final String HOME_PAGE = "ch01.html";
private static final URL INTRO_URL = HTMLFrame.class.getResource(HELP_PATH + HOME_PAGE);
protected static final String ICON = "drscalahelp.png";
public HelpFrame() {
super("Help on using DrScala", INTRO_URL, HelpFrame.class.getResource(HELP_PATH + CONTENTS_PAGE), ICON);
addHyperlinkListener(_linkListener);
}
/** Used by subclass QuickStartFrame to instantiate fields of frame.
*/
public HelpFrame(String frameName, URL introUrl, URL indexUrl, String iconString) {
super(frameName, introUrl, indexUrl, iconString);
}
protected String getErrorText(URL url) {
// The help files are made available by running "ant docs"
return "The Help files are currently unavailable.";
}
/** Shows the page selected by the hyperlink event. Changed to anonymous inner class for
* encapsulation purposes */
private HyperlinkListener _linkListener = new HyperlinkListener() {
public void hyperlinkUpdate(HyperlinkEvent event) {
if (event.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
// Only follow links within the documentation
URL url = event.getURL();
String protocol = url.getProtocol();
if (!"file".equals(protocol) && !"jar".equals(protocol)) {
// try to open in the platform's web browser, since we can't
// view it effectively here if it isn't in the jar
// (we only handle file/jar protocols)
PlatformFactory.ONLY.openURL(url);
return;
}
// perform path testing
String path = url.getPath();
if (path.indexOf(HELP_PATH+CONTENTS_PAGE) >= 0) {
try { url = new URL(url,HOME_PAGE); } // redirect to home, not content
catch(MalformedURLException murle) {
/* do nothing */
}
}
else if (path.indexOf(HELP_PATH) < 0) return; // not anywhere in the help section
if (url.sameFile(_history.contents)) return; // we're already here!
jumpTo(url);
}
}
};
}