main page modules namespaces classes files
Gecode/J home

CenteringClipView.java

Go to the documentation of this file.

package org.gecode.explorer.cocoa;

import com.apple.cocoa.foundation.*;
import com.apple.cocoa.application.*;


public class CenteringClipView extends NSClipView {
    
    public CenteringClipView() {
        super();
    }
    
    public CenteringClipView(NSRect aRect) {
        super(aRect);
    }
    
    public void centerDocumentView() {
        NSRect docRect = documentView().frame();
        NSRect clipRect = bounds();
        NSSize clipRectSize = clipRect.size();
        float originX = clipRect.origin().x();
        float originY = clipRect.origin().y();
        if (docRect.size().width() < clipRect.size().width()) {
            originX =
            (docRect.size().width() - clipRect.size().width()) / (float) 2.0;
        }
//        if (docRect.size().height() < clipRect.size().height()) {
//            originY =
//            (docRect.size().height() - clipRect.size().height()) / (float) 2.0;
//        }
        if (documentView().isFlipped()) {
            originY = docRect.origin().y();
        } else {
            originY = docRect.size().height() - clipRect.size().height();
        }
        NSPoint newClipRectOrigin = new NSPoint(originX, originY);
        NSRect newClipRect = new NSRect(newClipRectOrigin, clipRectSize);
        setBounds(newClipRect);
        scrollToPoint(newClipRectOrigin);
    }
    
    public NSPoint constrainScrollPoint(NSPoint proposedNewOrigin) {
        NSRect docRect = documentView().frame();
        NSRect clipRect = bounds();
        float maxX = docRect.size().width() - clipRect.size().width();
        float maxY = docRect.size().height() - clipRect.size().height();
        float newScrollPointX = proposedNewOrigin.x();
        float newScrollPointY = proposedNewOrigin.y();
        if (docRect.size().width() < clipRect.size().width()) {
            newScrollPointX = maxX / (float) 2.0;
        } else {
            float tmp = Math.min(newScrollPointX, maxX);
            newScrollPointX = Math.max((float) 0, tmp);
        }
        if (docRect.size().height() < clipRect.size().height()) {
            //            newScrollPointY = maxY / (float) 2.0;
            if (documentView().isFlipped()) {
                newScrollPointY = docRect.origin().y();
            } else {
                newScrollPointY = docRect.size().height() - clipRect.size().height();
            }
        } else {
            float tmp = Math.min(newScrollPointY, maxY);
            newScrollPointY = Math.max((float) 0, tmp);
        }
        return new NSPoint(newScrollPointX, newScrollPointY);
    }
    
    public void viewBoundsChanged(NSNotification notification) {
        super.viewBoundsChanged(notification);
        centerDocumentView();
    }
    
    public void viewFrameChanged(NSNotification notification) {
        super.viewFrameChanged(notification);
        centerDocumentView();
    }
    
    public void setFrame(NSRect newFrameRect) {
        super.setFrame(newFrameRect);
        centerDocumentView();
    }
    
    public void setFrameOrigin(NSPoint newFrameOrigin) {
        super.setFrameOrigin(newFrameOrigin);
        centerDocumentView();
    }
    
    public void setFrameSize(NSSize newFrameSize) {
        super.setFrameSize(newFrameSize);
        centerDocumentView();
    }
    
    public void setFrameRotation(float newAngle) {
        super.setFrameRotation(newAngle);
        centerDocumentView();
    }

}