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

  /external/antlr/antlr-3.4/gunit/src/main/java/org/antlr/gunit/swingui/
WorkSpaceView.java 46 protected JTabbedPane tabEditors;
81 this.tabEditors = new JTabbedPane();
82 this.tabEditors.addTab("Case Editor", ImageFactory.getSingleton().TEXTFILE16, this.paneEditor.getView());
83 this.tabEditors.addTab("Script Source", ImageFactory.getSingleton().WINDOW16, this.scrollCode);
88 this.listRules.getView(), this.tabEditors);
WorkSpaceController.java 78 this.view.tabEditors.addChangeListener(new TabChangeListener());
110 view.tabEditors.setSelectedIndex(0);
153 view.tabEditors.setSelectedIndex(0);
192 view.tabEditors.addTab("Test Result", ImageFactory.getSingleton().FILE16, runner.getView());
193 view.tabEditors.setSelectedComponent(runner.getView());
231 if(view.tabEditors.getSelectedIndex() == 1) {
  /external/antlr/antlr-3.4/lib/
antlr-3.4-complete.jar 
  /prebuilts/misc/common/antlr/
antlr-3.4-complete.jar 

Completed in 432 milliseconds