All Packages Class Hierarchy This Package Previous
Class wingsoft.editor.Browser
java.lang.Object
|
+----java.awt.Component
|
+----java.awt.Container
|
+----java.awt.Window
|
+----java.awt.Frame
|
+----wingsoft.editor.Browser
- public class Browser
- extends Frame
The Browser class is the window for Error-browser and Source-browser.
The browser accpets a file with certain source information in the
format of,
file:line
When the line with such information is clicked, the browser will
launch an editor window and initially go to the line.
-
Browser(String, String, boolean)
- Constructs a brwoser window.
-
Browser(String, String, boolean, Dimension)
- Constructs a brwoser window with specified size.
-
handleEvent(Event)
- Handle the WINDOW_DESTROY event.
Browser
public Browser(String file,
String title,
boolean remove_file)
- Constructs a brwoser window.
- Parameters:
- file - the browsing information: file_name:line_number
- title - the title of the window.
- remove_file - if the file should be removed after browser wingdow is closed.
Browser
public Browser(String file,
String title,
boolean remove_file,
Dimension size)
- Constructs a brwoser window with specified size.
- Parameters:
- file - the file with browsing information
- title - the title of the window.
- remove_file - if the file should be removed after browser wingdow is closed.
- size - the window size
handleEvent
public final boolean handleEvent(Event event)
- Handle the WINDOW_DESTROY event. Remove the file
if remove_file is true.
- Overrides:
- handleEvent in class Component
All Packages Class Hierarchy This Package Previous