+
+ private void makeTextDialog(Container pane, String filename) {
+ setTitle("Contents");
+ File manual = new File(filename);
+ String s;
+ try {
+ BufferedReader br = new BufferedReader(new FileReader(manual));
+ char[] chars = new char[(int)manual.length()];
+ br.read(chars, 0, (int)manual.length());
+ s = new String(chars);
+ } catch (Exception ex) {
+ s = "Manual not found";
+ }
+ JTextArea contents = new JTextArea(s, 30, 40);
+ contents.setAutoscrolls(true);
+ pane.add(contents);
+ contents.setBounds(10, 10, 500, 350);
+ setResizable(false);
+ pack();
+ setSize(600,400);
+ setLocation((Toolkit.getDefaultToolkit().getScreenSize().width - this.getWidth()) / 2,
+ (Toolkit.getDefaultToolkit().getScreenSize().height - this.getHeight()) / 2);
+ setVisible(true);
+ }
+