public void actionPerformed(ActionEvent e) { int i = pane.indexOfTabComponent(ButtonTabComponent.this); if (i != -1) { CodeEditor c = ((CodeEditor) pane.getComponentAt(i)); if (c.abortBecauseDirty()) { return; } pane.remove(i); } }
public StringBuffer generateCode(int _type, String _info) { StringBuffer code = new StringBuffer(); String genName, passName; int index = name.lastIndexOf('.'); if (index >= 0) genName = name.substring(index + 1).toLowerCase(); else genName = name.toLowerCase(); if (_info != null && _info.trim().length() > 0) passName = _info; else { passName = getName(); if (passName.startsWith("Osejs.")) passName = passName.substring(6); } index = 0; for (Editor editor : pageList) { if (editor instanceof CodeEditor) { index++; ((CodeEditor) editor).setCodeName(genName + index); } else if (editor instanceof EquationEditor) { index++; ((EquationEditor) editor).setCodeName(genName + index); } // if (editor.isActive()) code.append(editor.generateCode(_type, passName)); } return code; }
@Override public void setEditedContent(CGFile file) { ((CodeEditor) javaCodeDisplayer).setEditedContent(file); }