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

  /external/antlr/antlr-3.4/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,
  /external/antlr/antlr-3.4/lib/
antlr-3.4-complete.jar 
  /prebuilts/misc/common/antlr/
antlr-3.4-complete.jar 

Completed in 47 milliseconds