summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorpjain <pjain@ae88bc3d-4319-0410-8dbf-d08b4c9d3795>1997-05-25 23:35:51 +0000
committerpjain <pjain@ae88bc3d-4319-0410-8dbf-d08b4c9d3795>1997-05-25 23:35:51 +0000
commit885d003f558c98c39631142dc1523a43e92eb107 (patch)
tree723448b1e40fdd4345cbc4940e08996a49fc7580
parent45d5d4c1fa2d3ca36863b71fa58924b7f482740d (diff)
downloadATCD-885d003f558c98c39631142dc1523a43e92eb107.tar.gz
Implemented the Help button
-rw-r--r--java/ImageProcessing/framework/DialogManager.java41
1 files changed, 23 insertions, 18 deletions
diff --git a/java/ImageProcessing/framework/DialogManager.java b/java/ImageProcessing/framework/DialogManager.java
index 6e62b1c9ceb..eb8fac39940 100644
--- a/java/ImageProcessing/framework/DialogManager.java
+++ b/java/ImageProcessing/framework/DialogManager.java
@@ -185,9 +185,15 @@ class HelpFrame extends Frame
public HelpFrame (String codeBase)
{
super ("Help");
+ this.setBackground (Color.cyan);
+ this.text_.setEditable (false);
+ Font defaultFont = new Font ("TimesRoman", Font.PLAIN, 14);
+ this.text_.setFont (defaultFont);
+
try
{
URL url = new URL (codeBase + "../ImageProcessing/framework/help.conf");
+ String delim = "\n";
// Get the input stream and pipe it to a DataInputStream
DataInputStream iStream = new DataInputStream (url.openStream ());
@@ -196,8 +202,20 @@ class HelpFrame extends Frame
String tempString = iStream.readLine ();
while (tempString != null)
{
- helpInfo_.addElement (tempString);
- tempString = iStream.readLine ();
+ if (tempString.startsWith ("<START>"))
+ delim = "";
+ else if (tempString.startsWith ("<END>"))
+ delim = "\n";
+ else if (tempString.startsWith ("<TAB>"))
+ this.text_.appendText ("\t");
+ else if (tempString.startsWith ("<P>"))
+ this.text_.appendText ("\n");
+ else
+ {
+ this.text_.appendText (tempString);
+ this.text_.appendText (delim);
+ }
+ tempString = iStream.readLine ();
}
}
catch (MalformedURLException e)
@@ -209,27 +227,13 @@ class HelpFrame extends Frame
System.err.println (e);
}
- this.resize (500,700);
+ this.resize (600,700);
this.setLayout (new BorderLayout ());
Panel okButtonPanel = new Panel ();
okButtonPanel.add (this.okButton_);
this.add ("South", okButtonPanel);
- }
-
- public void paint (Graphics g)
- {
- g.clearRect (0, 0, this.size ().width, this.size ().height);
- g.setFont (new Font ("TimesRoman", Font.PLAIN, 18));
- this.setBackground (Color.white);
- int x = 20;
- int y = 100;
-
- for (int i = 0; i < helpInfo_.size (); i++)
- {
- g.drawString((String) helpInfo_.elementAt (i), x, y);
- y += g.getFont ().getSize () + 5;
- }
+ this.add ("Center", this.text_);
}
// Handle window destroy events
@@ -260,5 +264,6 @@ class HelpFrame extends Frame
private Vector helpInfo_ = new Vector ();
private Button okButton_ = new Button (" ok ");
+ private TextArea text_ = new TextArea ();
}