Serialized Form

Class BrowserController implements Serializable

Serialized Fields

scroll_pane

javax.swing.JScrollPane scroll_pane

status

javax.swing.JLabel status

url_field

javax.swing.JTextField url_field

forward

javax.swing.JButton forward

backward

javax.swing.JButton backward

home

javax.swing.JButton home

go

javax.swing.JButton go

view

DocumentView view

model

BrowserModel model

Class DocumentView implements Serializable

Serialized Fields

model

DocumentModel model

b_model

BrowserModel b_model

pen

java.awt.Graphics pen

width

int width

switch_font

java.awt.Font switch_font

This works around a stupid bug in Java. You have to change the /size/ of the font to make sure that your change in style is noticed...

margin

int margin