📄 numberfield.java
字号:
package net.tinyos.tinydb;import java.awt.*;import java.awt.event.*;import javax.swing.*;import javax.swing.text.*;/** NumberField is a JTextField that constrains its contents to contain only numbers. @author Sam Madden (madden@cs.berkeley.edu)*/public class NumberField extends JTextField { public NumberField(int cols) { super(cols); } protected Document createDefaultModel() { return new NumberDocument(); } class NumberDocument extends PlainDocument { public void insertString(int offs, String str, AttributeSet a) throws BadLocationException { boolean ok = true; for (int i = 0; i < str.length(); i++) { if (!Character.isDigit(str.charAt(i))) ok = false; } if (ok) super.insertString(offs,str,a); } } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -