root.history.goNewDocument(doc);
root.history.goNewDocument(doc, url);
    public void loadPage(Document doc, URL url)            throws Exception {        view.setDocument(doc, url);        view.addDocumentListener(this);        root.history.goNewDocument(doc);        updateButtons();    }