📄 highlightpositionchangedevent.java
字号:
package uk.ac.leeds.ccg.geotools;
import java.util.*;
import java.awt.*;
/**
* An event used to notify listeners that the user has selected a new position to
* highlight.
*/
public class HighlightPositionChangedEvent extends java.util.EventObject
{
private GeoPoint position;
private int count;
private final boolean isValid;
public HighlightPositionChangedEvent(java.awt.Component source, GeoPoint p){
super(source);
isValid = (p!=null);
position = p;
}
public GeoPoint getPosition(){
return position;
}
public boolean isValid(){
return isValid;
}
int selected;
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -