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.


Constructor Index

 o Browser(String, String, boolean)
Constructs a brwoser window.
 o Browser(String, String, boolean, Dimension)
Constructs a brwoser window with specified size.

Method Index

 o handleEvent(Event)
Handle the WINDOW_DESTROY event.

Constructors

 o 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.
 o 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

Methods

 o 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