public AboutDialog(JConsole jConsole) {
super(jConsole, Resources.getText("Help.AboutDialog.title"), false);
setAccessibleDescription(this, getText("Help.AboutDialog.accessibleDescription"));
setDefaultCloseOperation(HIDE_ON_CLOSE);
setResizable(false);
JComponent cp = (JComponent) getContentPane();
createActions();
JLabel mastheadLabel = new JLabel(mastheadIcon);
setAccessibleName(mastheadLabel, getText("Help.AboutDialog.masthead.accessibleName"));
JPanel mainPanel = new TPanel(0, 0);
mainPanel.add(mastheadLabel, NORTH);
String jConsoleVersion = Version.getVersion();
String vmName = System.getProperty("java.vm.name");
String vmVersion = System.getProperty("java.vm.version");
String urlStr = getText("Help.AboutDialog.userGuideLink.url");
if (isBrowseSupported()) {
urlStr = "<a style='color:#35556b' href=\"" + urlStr + "\">" + urlStr + "</a>";
}
JPanel infoAndLogoPanel = new JPanel(new BorderLayout(10, 10));
infoAndLogoPanel.setBackground(bgColor);
String colorStr = String.format("%06x", textColor.getRGB() & 0xFFFFFF);
JEditorPane helpLink =
new JEditorPane(
"text/html",
"<html><font color=#"
+ colorStr
+ ">"
+ getText("Help.AboutDialog.jConsoleVersion", jConsoleVersion)
+ "<p>"
+ getText("Help.AboutDialog.javaVersion", (vmName + ", " + vmVersion))
+ "<p>"
+ getText("Help.AboutDialog.userGuideLink", urlStr)
+ "</html>");
helpLink.setOpaque(false);
helpLink.setEditable(false);
helpLink.setForeground(textColor);
mainPanel.setBorder(BorderFactory.createLineBorder(borderColor));
infoAndLogoPanel.setBorder(BorderFactory.createEmptyBorder(10, 10, 10, 10));
helpLink.addHyperlinkListener(
new HyperlinkListener() {
public void hyperlinkUpdate(HyperlinkEvent e) {
if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
browse(e.getDescription());
}
}
});
infoAndLogoPanel.add(helpLink, NORTH);
ImageIcon brandLogoIcon = new ImageIcon(getClass().getResource("resources/brandlogo.png"));
JLabel brandLogo = new JLabel(brandLogoIcon, JLabel.LEADING);
JButton closeButton = new JButton(closeAction);
JPanel bottomPanel = new TPanel(0, 0);
JPanel buttonPanel = new JPanel(new FlowLayout(FlowLayout.TRAILING));
buttonPanel.setOpaque(false);
mainPanel.add(infoAndLogoPanel, CENTER);
cp.add(bottomPanel, SOUTH);
infoAndLogoPanel.add(brandLogo, SOUTH);
buttonPanel.setBorder(new EmptyBorder(2, 12, 2, 12));
buttonPanel.add(closeButton);
bottomPanel.add(buttonPanel, NORTH);
statusBar = new JLabel(" ");
bottomPanel.add(statusBar, SOUTH);
cp.add(mainPanel, NORTH);
pack();
setLocationRelativeTo(jConsole);
Utilities.updateTransparency(this);
}
public EditorPaneHTMLHelp(String htmlFile) {
if (GlobalValues.useSystemBrowserForHelp) {
Desktop d = GlobalValues.desktop;
try {
// create a temp file
GlobalValues.forHTMLHelptempFile = new File("tempHTMLHelpSynthetic.html");
FileWriter fw = new FileWriter(GlobalValues.forHTMLHelptempFile);
java.util.List<String> list = readTextFromJar(htmlFile);
Iterator<String> it = list.iterator();
while (it.hasNext()) {
fw.write(it.next() + "\n");
}
String canonicalPathOfFile = GlobalValues.forHTMLHelptempFile.getCanonicalPath();
URL urlFile = new URL("file://" + canonicalPathOfFile);
URI uriOfFile = urlFile.toURI();
fw.close();
d.browse(uriOfFile);
} catch (Exception e) {
e.printStackTrace();
}
} else {
URL initialURL = getClass().getResource(htmlFile);
font = GlobalValues.htmlfont;
String title = "HTML Help";
setTitle(title);
final Stack<String> urlStack = new Stack<String>();
final JEditorPane editorPane;
editorPane = new JEditorPane(new HTMLEditorKit().getContentType(), " ");
editorPane.setOpaque(false);
editorPane.setBorder(null);
editorPane.setEditable(false);
JPanel magPanel = new JPanel();
magnificationFactor = GlobalValues.helpMagnificationFactor;
magFactor = new JTextField(Double.toString(magnificationFactor));
JButton magButton = new JButton("Set Magnification: ");
magButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
magnificationFactor = Double.parseDouble(magFactor.getText());
GlobalValues.helpMagnificationFactor = magnificationFactor;
}
});
magPanel.setLayout(new GridLayout(1, 2));
magPanel.add(magButton);
magPanel.add(magFactor);
final JTextField url = new JTextField(initialURL.toString());
// set up hyperlink listener
editorPane.setEditable(false);
try {
// remember URL for back button
urlStack.push(initialURL.toString());
// show URL in text field
url.setText(initialURL.toString());
// add a CSS rule to force body tags to use the default label font
// instead of the value in javax.swing.text.html.default.csss
String bodyRule =
"body { font-family: "
+ font.getFamily()
+ "; "
+ "font-size: "
+ font.getSize() * GlobalValues.helpMagnificationFactor
+ "pt; }";
((HTMLDocument) editorPane.getDocument()).getStyleSheet().addRule(bodyRule);
editorPane.setPage(initialURL);
editorPane.firePropertyChange("dummyProp", true, false);
} catch (IOException e) {
editorPane.setText("Exception: " + e);
}
editorPane.addPropertyChangeListener(
new PropertyChangeListener() {
public void propertyChange(PropertyChangeEvent evt) {
String bodyRule =
"body { font-family: "
+ font.getFamily()
+ "; "
+ "font-size: "
+ font.getSize() * GlobalValues.helpMagnificationFactor
+ "pt; }";
((HTMLDocument) editorPane.getDocument()).getStyleSheet().addRule(bodyRule);
}
});
editorPane.addHyperlinkListener(
new HyperlinkListener() {
public void hyperlinkUpdate(HyperlinkEvent event) {
if (event.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
try {
// remember URL for back button
urlStack.push(event.getURL().toString());
// show URL in text field
url.setText(event.getURL().toString());
editorPane.setPage(event.getURL());
editorPane.firePropertyChange("dummyProp", true, false);
} catch (IOException e) {
editorPane.setText("Exception: " + e);
}
}
}
});
// set up checkbox for toggling edit mode
final JCheckBox editable = new JCheckBox();
editable.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent event) {
editorPane.setEditable(editable.isSelected());
}
});
// set up load button for loading URL
ActionListener listener =
new ActionListener() {
public void actionPerformed(ActionEvent event) {
try {
// remember URL for back button
urlStack.push(url.getText());
editorPane.setPage(url.getText());
editorPane.firePropertyChange("dummyProp", true, false);
} catch (IOException e) {
editorPane.setText("Exception: " + e);
}
}
};
JButton loadButton = new JButton("Load/Magnify");
loadButton.addActionListener(listener);
url.addActionListener(listener);
// set up back button and button action
JButton backButton = new JButton("Back");
backButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent event) {
if (urlStack.size() <= 1) return;
try {
// get URL from back button
urlStack.pop();
// show URL in text field
String urlString = urlStack.peek();
url.setText(urlString);
editorPane.setPage(urlString);
editorPane.firePropertyChange("dummyProp", true, false);
} catch (IOException e) {
editorPane.setText("Exception: " + e);
}
}
});
JPanel allPanel = new JPanel(new BorderLayout());
// put all control components in a panel
JPanel ctrlPanel = new JPanel(new BorderLayout());
JPanel urlPanel = new JPanel();
urlPanel.add(new JLabel("URL"));
urlPanel.add(url);
JPanel buttonPanel = new JPanel();
buttonPanel.add(loadButton);
buttonPanel.add(backButton);
buttonPanel.add(new JLabel("Editable"));
buttonPanel.add(magPanel);
buttonPanel.add(editable);
ctrlPanel.add(buttonPanel, BorderLayout.NORTH);
ctrlPanel.add(urlPanel, BorderLayout.CENTER);
allPanel.add(ctrlPanel, BorderLayout.NORTH);
allPanel.add(new JScrollPane(editorPane), BorderLayout.CENTER);
add(allPanel);
}
}
