Package com.lightcrafts.ui.editor

Examples of com.lightcrafts.ui.editor.Document


        }
        docRef = new WeakReference(doc);
    }

    void update() {
        Document newDoc = getDocument();
        Document oldDoc = (Document) docRef.get();
        if (newDoc != oldDoc) {
            if (oldDoc != null) {
                Action oldUndo = oldDoc.getUndoAction();
                oldUndo.removePropertyChangeListener(this);
            }
            if (newDoc != null) {
                Action newUndo = newDoc.getUndoAction();
                newUndo.addPropertyChangeListener(this);
View Full Code Here


    RotateLeftMenuItem(ComboFrame frame) {
        super(frame, "Left");
    }

    Action getDocumentAction() {
        final Document doc = getDocument();
        if (doc != null) {
            return doc.getRotateLeftAction();
        }
        else {
            return null;
        }
    }
View Full Code Here

    ProofMenuItem(ComboFrame frame) {
        super(frame, "Proof");
    }

    Action getDocumentAction() {
        Document doc = getDocument();
        if (doc != null) {
            return doc.getProofAction();
        }
        else {
            return null;
        }
    }
View Full Code Here

    }

    void update() {
        ComboFrame frame = getComboFrame();
        if (frame != null) {
            Document newDoc = frame.getDocument();
            Document oldDoc = docRef.get();
            if (newDoc != oldDoc) {
                removeAll();
                if (newDoc != null) {
                    Engine engine = newDoc.getEngine();
                    List items = engine.getDebugItems();
View Full Code Here

    public int getMaxCount() {
        return 3;
    }

    public Point getLocation() {
        Document doc = frame.getDocument();
        Editor editor = doc.getEditor();
        JComponent image = editor.getImage();
        Point loc = image.getLocationOnScreen();
        Dimension size = image.getSize();
        Point p = new Point(
            loc.x + size.width - 200, loc.y + size.height - 200
View Full Code Here

    public int getMaxCount() {
        return 3;
    }

    public Point getLocation() {
        Document doc = frame.getDocument();
        Editor editor = doc.getEditor();
        JComponent image = editor.getImage();
        Point loc = image.getLocationOnScreen();
        Dimension size = image.getSize();
        Point p = new Point(
            loc.x + size.width - 200, loc.y + size.height - 200
View Full Code Here

        startAdvice = new RegionStartAdvice(frame);
        endAdvice = new RegionEndAdvice(frame);
        emptyFolderAdvice = new EmptyFolderAdvice(frame);

        Document doc = frame.getDocument();
        if (doc != null) {
            RegionManager regions = doc.getRegionManager();
            regions.addRegionListener(this);

            regionsAction = regions.getShowHideAction();
            regionsAction.addPropertyChangeListener(this);
        }
View Full Code Here

    // Cleanup is important here, otherwise the complete Document structure
    // will remain in memory for the life of the frame.
    // See ComboFrame.dispose().
    public void dispose() {
        Document doc = frame.getDocument();
        if (doc != null) {
            RegionManager regions = doc.getRegionManager();
            regions.removeRegionListener(this);
            regionsAction.removePropertyChangeListener(this);
        }
    }
View Full Code Here

    public int getMaxCount() {
        return 3;
    }

    public Point getLocation() {
        Document doc = frame.getDocument();
        Editor editor = doc.getEditor();
        JComponent image = editor.getImage();
        Point loc = image.getLocationOnScreen();
        Dimension size = image.getSize();
        Point p = new Point(
            loc.x + size.width - 200, loc.y + size.height - 200
View Full Code Here

    public int getMaxCount() {
        return 3;
    }

    public Point getLocation() {
        Document doc = frame.getDocument();
        Editor editor = doc.getEditor();
        JComponent image = editor.getImage();
        Point loc = image.getLocationOnScreen();
        Dimension size = image.getSize();
        Point p = new Point(
            loc.x + size.width - 200, loc.y + size.height - 200
View Full Code Here

TOP

Related Classes of com.lightcrafts.ui.editor.Document

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.