Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
*;
import java.awt.event.*;
import java.util.*;
import java.net.*;
import java.io.*;
import javax.swing.*;
import javax.swing.event.*;
public editorpaneframe()
{
settitle("java web browser");
setsize(600,400);
addwindowlistener(new windowadapter()
{
public void windowclosing(windowevent e)
{
system.exit(0);
}
} );
editorpane.setpage(event.geturl());
}
catch(ioexception e)
{
editorpane.settext("error: " + e);
}
}
}
});
contentpane.add(panel,"south");
}