Java JEditorPane.selectAll Examples

Example #1

File: GUITextModelEditor.java Project: adoGT/prismFDCTMC

 public void selectAll() {
   editor.selectAll();
 }