Swing/FirstCharToUpperCase のバックアップ(No.2)
- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- 現在との差分 - Visual を表示
- ソース を表示
- Swing/FirstCharToUpperCase へ行く。
- 1 (2010-03-01 (月) 12:38:41)
- 2 (2010-03-04 (木) 19:28:00)
- 3 (2010-03-08 (月) 14:53:09)
- 4 (2011-06-26 (日) 01:17:01)
- 5 (2011-06-27 (月) 19:21:21)
- 6 (2012-10-19 (金) 20:10:12)
- 7 (2013-01-02 (水) 14:26:43)
- 8 (2013-05-26 (日) 04:54:59)
- 9 (2015-01-08 (木) 14:01:57)
- 10 (2015-11-27 (金) 17:44:03)
- 11 (2017-01-06 (金) 19:16:42)
- 12 (2017-04-04 (火) 15:11:18)
- 13 (2018-03-18 (日) 10:03:27)
- 14 (2020-03-20 (金) 19:46:42)
- 15 (2021-09-26 (日) 09:47:18)
- 16 (2023-05-08 (月) 12:23:39)
TITLE:DocumentFilterで先頭文字を大文字に変換する
Posted by terai at 2010-03-01
DocumentFilterで先頭文字を大文字に変換する
DocumentFilterを使って、文字列の先頭が常に大文字になるように設定します。
- &jnlp;
- &jar;
- &zip;
#screenshot
サンプルコード
class FirstCharToUpperCaseDocumentFilter extends {
class FirstCharToUpperCaseDocumentFilter extends DocumentFilter {
private final JTextComponent textArea;
public FirstCharToUpperCaseDocumentFilter(JTextComponent textArea) {
super();
this.textArea = textArea;
}
@Override
public void insertString(FilterBypass fb, int offset, String text, AttributeSet attrs)
throws BadLocationException {
if(text==null) return;
replace(fb, offset, 0, text, attrs);
}
@Override
public void remove(FilterBypass fb, int offset, int length) throws BadLocationException {
Document doc = fb.getDocument();
if(offset==0 && doc.getLength()-length>0) {
fb.replace(0, length+1, doc.getText(length, 1).toUpperCase(), null);
textArea.setCaretPosition(0);
} else {
fb.remove(offset, length);
}
}
@Override
public void replace(FilterBypass fb, int offset, int length, String text, AttributeSet attrs)
throws BadLocationException {
if(offset==0 && text!=null && text.length()>0) {
text = text.substring(0,1).toUpperCase()+text.substring(1);
}
fb.replace(offset, length, text, attrs);
}
}
解説
上記のサンプルでは、JTextFeild内の文字列の先頭一文字が、常に大文字になるように変換するDocumentFilterを作成しています。