Point.java 文件源码

public static Point FromMouseEvent(MouseEvent event, Document doc) {
    return FromMouseEvent(event).plus(new Point(doc.getScrollLeft(), doc.getScrollTop()));
}