HomeSort by relevance Sort by last modified time
    Searched refs:txtEditor (Results 1 - 2 of 2) sorted by null

  /external/antlr/gunit/src/main/java/org/antlr/gunit/swingui/
WorkSpaceView.java 51 protected JTextArea txtEditor;
73 this.txtEditor = new JTextArea();
74 this.txtEditor.setLineWrap(false);
75 this.txtEditor.setFont(new Font("Courier New", Font.PLAIN, 13));
76 this.scrollCode = new JScrollPane(txtEditor,
WorkSpaceController.java 172 view.txtEditor.setText(

Completed in 116 milliseconds