Examples of diva.gui.View

diva.gui.View

View is an interface that captures the notion of a view on a document in a graphical application. Typically, there are one or more views on a particular document, or even on different parts of the document (such as discrete pages), although this is not necessarily so. Each application will typically create one or more implementations of this interface for the types of documents it can work with. @author Michael Shilman @version $Id: View.java,v 1.11 2005/07/08 19:55:12 cxh Exp $ @Pt.AcceptedRating Red

        _documents.removeElement(d);


        List views = (List) _documentMap.get(d);


        for (Iterator i = views.iterator(); i.hasNext();) {
            View v = (View) i.next();
            i.remove();
            removeView(v);
        }


        _documentMap.remove(d);

    }


    private class MDIViewListener extends ViewAdapter {
        public void viewSelected(ViewEvent e) {
            JComponent jc = e.getView();
            View view = getView(jc);


            // FIXME: for some reason, closing
            //        a view also causes that view
            //        to be selected after it is
            //        closed?

            }
        }


        public void viewClosing(ViewEvent e) {
            JComponent jc = e.getView();
            View view = getView(jc);


            // FIXME: avoid circular loop with the
            // removeDocument method (if the
            // file is closed from the menu,
            // rather than by clicking the X in

Examples of diva.gui.View

Related Classes of diva.gui.View