⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 numerictextdocument.java

📁 JRemoteControl is a simple Java&#8482 driven bluetooth remote control.It allows you to initiate virt
💻 JAVA
字号:
/* * Copyright (C) 2007 Filippo Di Vattimo - See LICENSE * */package fildiv.jremcntl.server.utils.swing;import javax.swing.text.AttributeSet;import javax.swing.text.BadLocationException;import javax.swing.text.PlainDocument;public class NumericTextDocument extends PlainDocument {		public void insertString(int offs, String str, AttributeSet a)			throws BadLocationException {			if (str == null)			return;				String oldString = getText(0, getLength());		String newString = oldString.substring(0, offs) + str				+ oldString.substring(offs);		try {			Integer.parseInt(newString + "0");			super.insertString(offs, str, a);		} catch (NumberFormatException e) {			// Ignored		}	}}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -