scroll.setVerticalScrollBarPolicy(scroll.VERTICAL_SCROLLBAR_ALWAYS); scroll.setHorizontalScrollBarPolicy(scroll.HORIZONTAL_SCROLLBAR_ALWAYS);
scroll.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_ALWAYS); scroll.setHorizontalScrollBarPolicy(JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
    public void init() {        forward = new JButton();        backward = new JButton("Back");        stop = new JButton("Stop");        reload = new JButton("Reload");        url = new JTextField();        view = new XHTMLPanel();        font_inc = new JButton("A");        font_dec = new JButton("a");        RenderingContext rc = view.getRenderingContext();        try {            rc.setFontMapping("Fuzz", Font.createFont(Font.TRUETYPE_FONT,                    new DemoMarker().getClass().getResourceAsStream("/demos/fonts/fuzz.ttf")));        } catch (Exception ex) {            Uu.p(ex);        }        view.setErrorHandler(root.error_handler);        status = new BrowserStatus();        status.init();        int text_width = 200;        view.setPreferredSize(new Dimension(text_width, text_width));        scroll = new JScrollPane(view);        scroll.setVerticalScrollBarPolicy(scroll.VERTICAL_SCROLLBAR_ALWAYS);        scroll.setHorizontalScrollBarPolicy(scroll.HORIZONTAL_SCROLLBAR_ALWAYS);        scroll.setPreferredSize(new Dimension(text_width, text_width));        scroll.getVerticalScrollBar().setBlockIncrement(100);        scroll.getVerticalScrollBar().setUnitIncrement(15);    }