thdltools/Jskad
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

The code that brings up the "About" and "Help" windows has been cleanly

Browse source 
factored out because Jskad uses it too (for keyboard mapping descriptions).
This commit is contained in:
dchandler 2002-10-13 20:41:40 +00:00
parent 1c946ebab1
commit 795e50161d
1 changed files with 22 additions and 60 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

82
source/org/thdl/savant/SavantShell.java
View file

@ -32,12 +32,14 @@ import org.thdl.savant.tib.*;
import org.thdl.util.TeeStream; import org.thdl.util.TeeStream;
import org.thdl.util.ThdlDebug; import org.thdl.util.ThdlDebug;
import org.thdl.util.ThdlActionListener; import org.thdl.util.ThdlActionListener;
import org.thdl.util.RTFPane;
import org.thdl.util.SimpleFrame;
public class SavantShell extends JFrame public class SavantShell extends JFrame
{ {
private static int numberOfSavantsOpen = 0; private static int numberOfSavantsOpen = 0;
private static JScrollPane helpPane; private static JScrollPane helpPane = null;
private static JScrollPane aboutPane; private static JScrollPane aboutPane = null;
private static String mediaPath = null; private static String mediaPath = null;
private JFileChooser fileChooser; private JFileChooser fileChooser;
@ -50,38 +52,24 @@ public class SavantShell extends JFrame
try { try {
UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName()); UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
} catch (Exception e) {} } catch (Exception e) { ThdlDebug.noteIffyCode(); }
RTFEditorKit rtf = new RTFEditorKit(); try {
InputStream in1 = SavantShell.class.getResourceAsStream("savanthelp.rtf"); helpPane = new RTFPane(SavantShell.class, "savanthelp.rtf");
InputStream in2 = SavantShell.class.getResourceAsStream("aboutsavant.rtf"); aboutPane = new RTFPane(SavantShell.class, "aboutsavant.rtf");
if (in1 == null) { } catch (FileNotFoundException e) {
System.out.println("Can't find savanthelp.rtf."); System.out.println("Can't find " + e.getMessage() + ".");
System.exit(1); System.exit(1);
} } catch (IOException e) {
if (in2 == null) {
System.out.println("Can't find aboutsavant.rtf.");
System.exit(1);
}
DefaultStyledDocument doc1 = new DefaultStyledDocument();
DefaultStyledDocument doc2 = new DefaultStyledDocument();
try {
rtf.read(in1, doc1, 0);
rtf.read(in2, doc2, 0);
} catch (BadLocationException ioe) {
return;
} catch (IOException ioe) {
System.out.println("Can't find one of savanthelp.rtf or aboutsavant.rtf."); System.out.println("Can't find one of savanthelp.rtf or aboutsavant.rtf.");
System.exit(1); System.exit(1);
} } catch (BadLocationException e) {
System.out.println("Error reading one of savanthelp.rtf or aboutsavant.rtf.");
JTextPane pane1 = new JTextPane(doc1); System.exit(1);
JTextPane pane2 = new JTextPane(doc2); } catch (Exception e) {
pane1.setEditable(false); /* Carry on. A security exception, probably. */
pane2.setEditable(false); ThdlDebug.noteIffyCode();
}
helpPane = new JScrollPane(pane1);
aboutPane = new JScrollPane(pane2);
SavantShell ssh = new SavantShell(); SavantShell ssh = new SavantShell();
ssh.setVisible(true); ssh.setVisible(true);
@ -227,20 +215,7 @@ public class SavantShell extends JFrame
{ {
public void theRealActionPerformed(ActionEvent e) public void theRealActionPerformed(ActionEvent e)
{ {
JFrame h = new JFrame("Help"); new SimpleFrame("Help", helpPane);
h.setSize(500,400);
Container c = h.getContentPane();
c.addComponentListener(new ComponentAdapter()
{
public void componentResized(ComponentEvent e)
{
helpPane.setSize(e.getComponent().getSize());
}
});
helpPane.setSize(c.getSize());
c.add(helpPane);
h.setLocation(100,100);
h.setVisible(true);
} }
}); });
JMenuItem aboutItem = new JMenuItem("About"); JMenuItem aboutItem = new JMenuItem("About");
@ -248,20 +223,7 @@ public class SavantShell extends JFrame
{ {
public void theRealActionPerformed(ActionEvent e) public void theRealActionPerformed(ActionEvent e)
{ {
JFrame h = new JFrame("About"); new SimpleFrame("About", aboutPane);
h.setSize(500,400);
Container c = h.getContentPane();
c.addComponentListener(new ComponentAdapter()
{
public void componentResized(ComponentEvent e)
{
aboutPane.setSize(e.getComponent().getSize());
}
});
aboutPane.setSize(c.getSize());
c.add(aboutPane);
h.setLocation(100,100);
h.setVisible(true);
} }
}); });
infoMenu.add(helpItem); infoMenu.add(helpItem);