📄 hadjustmentevent.java
字号:
package org.havi.ui.event;
public class HAdjustmentEvent extends java.awt.AWTEvent {
public static final int ADJUST_FIRST = RESERVED_ID_MAX + 1;
public static final int ADJUST_LAST = ADJUST_FIRST + 5;
public static final int ADJUST_START_CHANGE = ADJUST_FIRST;
public static final int ADJUST_LESS = ADJUST_FIRST + 1;
public static final int ADJUST_MORE = ADJUST_FIRST + 2;
public static final int ADJUST_PAGE_LESS = ADJUST_FIRST + 3;
public static final int ADJUST_PAGE_MORE = ADJUST_FIRST + 4;
public static final int ADJUST_END_CHANGE = ADJUST_FIRST + 5;
public HAdjustmentEvent(org.havi.ui.HAdjustmentInputPreferred source, int id) {
super(source, id);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -