コード例 #1
0
ファイル: BaseXEditor.java プロジェクト: godmar/basex
 /** Selects the whole text. */
 final void selectAll() {
   text.selectAll();
   text.setCaret();
   rend.repaint();
 }