📄 gpoption.java
字号:
/* * Created on 02.04.2005 */package net.sourceforge.ganttproject.gui.options.model;import java.beans.PropertyChangeListener;/** * @author bard */public interface GPOption extends ChangeValueDispatcher { String getID(); void lock(); void commit(); void rollback(); String getPersistentValue(); void loadPersistentValue(String value); boolean isChanged(); void setWritable(boolean isWritable); boolean isWritable(); void addPropertyChangeListener(PropertyChangeListener listener); void removePropertyChangeListener(PropertyChangeListener listener); String PROPERTY_IS_WRITABLE = "isWritable"; UIHint getUIHint(Class hintClass);}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -