📄 titlepositioneditor.java
字号:
/**
* @version 1.10 1997-10-27
* @author Cay Horstmann
*/
import java.beans.*;
public class TitlePositionEditor
extends PropertyEditorSupport
{ public String getAsText()
{ int value = ((Integer)getValue()).intValue();
return options[value];
}
public void setAsText(String s)
{ for (int i = 0; i < options.length; i++)
{ if (options[i].equals(s))
{ setValue(new Integer(i));
return;
}
}
}
public String[] getTags() { return options; }
private String[] options = { "Left", "Center", "Right" };
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -