protected void addPage(String _typeOfPage, String _name, String _code, boolean _enabled) {
cardLayout.show(finalPanel, "TabbedPanel");
_name = getUniqueName(_name);
Editor page = createPage(_typeOfPage, _name, _code);
page.setFont(myFont);
page.setColor(myColor);
int index = tabbedPanel.getSelectedIndex();
if (index == -1) {
pageList.addElement(page);
if (tabbedPanel.getTabCount() == 0) {
tabbedPanel.addTab(
page.getName(),
null,
page.getComponent(),
tooltip); // This causes an exception sometimes
} else {
tabbedPanel.insertTab(
page.getName(), null, page.getComponent(), tooltip, tabbedPanel.getTabCount());
}
index = 0;
} else {
index++;
pageList.insertElementAt(page, index);
tabbedPanel.insertTab(page.getName(), null, page.getComponent(), tooltip, index);
}
tabbedPanel.setSelectedComponent(page.getComponent());
page.setActive(_enabled);
if (!_enabled) tabbedPanel.setTitleAt(index, page.getName() + " (D)");
updatePageCounterField(pageList.size());
// tabbedPanel.validate(); This hangs the computer when reading a file at start-up !!!???
tabbedPanel.repaint();
changed = true;
}
public void clear() {
for (java.util.Enumeration<Editor> e = pageList.elements(); e.hasMoreElements(); )
e.nextElement().clear();
pageList.clear();
tabbedPanel.removeAll();
showFirstPage();
updatePageCounterField(pageList.size());
changed = false;
}
protected void removeCurrentPage() {
int index = tabbedPanel.getSelectedIndex();
if (index < 0) return;
tabbedPanel.removeTabAt(index);
pageList.removeElementAt(index);
updatePageCounterField(pageList.size());
changed = true;
if (tabbedPanel.getTabCount() <= 0) cardLayout.show(finalPanel, "FirstPanel");
ejs.getModelEditor().getVariablesEditor().updateControlValues(false);
}
public void setColor(Color _color) {
myColor = _color;
tabbedPanel.setForeground(_color);
firstButton.setForeground(_color);
for (java.util.Enumeration<Editor> e = pageList.elements(); e.hasMoreElements(); )
e.nextElement().setColor(_color);
}
public StringBuffer saveStringBuffer() {
StringBuffer save = new StringBuffer();
for (java.util.Enumeration<Editor> e = pageList.elements(); e.hasMoreElements(); ) {
Editor page = e.nextElement();
save.append(
"<"
+ name
+ ".Page>\n"
+ "<Type>"
+ typeOfPage(page)
+ "</Type>\n"
+ "<Name>"
+ page.getName()
+ "</Name>\n"
+ "<Active>"
+ page.isActive()
+ "</Active>\n"
+ "<"
+ contentDelim
+ ">\n");
save.append(page.saveStringBuffer());
save.append("</" + contentDelim + ">\n" + "</" + name + ".Page>\n");
}
return save;
}
public java.util.List<SearchResult> search(String _info, String _searchString, int _mode) {
String passName = getName();
if (passName.startsWith("Osejs.")) passName = passName.substring(6);
java.util.List<SearchResult> list = new ArrayList<SearchResult>();
for (java.util.Enumeration<Editor> e = pageList.elements(); e.hasMoreElements(); )
list.addAll(e.nextElement().search(passName, _searchString, _mode));
return list;
}
private void renameCurrentPage(String _name) {
int index = tabbedPanel.getSelectedIndex();
if (index < 0) return;
_name = getUniqueName(_name); // Gonzalo 070128
tabbedPanel.setTitleAt(index, _name);
Editor page = pageList.get(index);
page.setName(_name);
if (!page.isActive()) tabbedPanel.setTitleAt(index, page.getName() + " (D)");
changed = true;
}
private void copyPage() {
int index = tabbedPanel.getSelectedIndex();
if (index < 0) return;
Editor page = pageList.get(index);
if (page == null) return;
addPage(
typeOfPage(page),
this.getUniqueName(page.getName()),
page.saveStringBuffer().toString(),
true);
changed = true;
}
private void moveUpAndDownPage(boolean _up) {
int index = tabbedPanel.getSelectedIndex();
if (index < 0) return;
Editor page = pageList.get(index);
if (page == null) return;
if (_up) {
if (index == 0) return;
pageList.removeElementAt(index);
pageList.insertElementAt(page, index - 1);
tabbedPanel.removeTabAt(index);
tabbedPanel.insertTab(
page.isActive() ? page.getName() : page.getName() + " (D)",
null,
page.getComponent(),
tooltip,
index - 1);
} else {
if (index == (pageList.size() - 1)) return;
pageList.removeElementAt(index);
pageList.insertElementAt(page, index + 1);
tabbedPanel.removeTabAt(index);
tabbedPanel.insertTab(
page.isActive() ? page.getName() : page.getName() + " (D)",
null,
page.getComponent(),
tooltip,
index + 1);
}
tabbedPanel.setSelectedComponent(page.getComponent());
changed = true;
}
private void toggleCurrentPage() {
int index = tabbedPanel.getSelectedIndex();
if (index < 0) return;
Editor page = pageList.get(index);
if (page.isActive()) {
page.setActive(false);
tabbedPanel.setTitleAt(index, page.getName() + " (D)");
} else {
page.setActive(true);
tabbedPanel.setTitleAt(index, page.getName());
}
changed = true;
ejs.getModelEditor().getVariablesEditor().updateControlValues(false);
}
/** Returns the pages of this TabbedEditor */
public java.util.Enumeration<Editor> getPageEnumeration() {
return pageList.elements();
}
private boolean nameExists(String _name) {
for (Enumeration<Editor> e = pageList.elements(); e.hasMoreElements(); )
if (_name.equals(e.nextElement().getName())) return true;
return false;
}
private String getCurrentPageName() {
int index = tabbedPanel.getSelectedIndex();
if (index < 0) return "";
return pageList.get(index).getName();
}
/** Returns the number of active pages of this TabbedEditor */
public int getActivePageCount() {
int counter = 0;
for (java.util.Enumeration<Editor> e = pageList.elements(); e.hasMoreElements(); )
if (e.nextElement().isActive()) counter++;
return counter;
}
public void setChanged(boolean _ch) {
changed = _ch;
for (java.util.Enumeration<Editor> e = pageList.elements(); e.hasMoreElements(); )
e.nextElement().setChanged(_ch);
}
public boolean isChanged() {
if (changed) return true;
for (java.util.Enumeration<Editor> e = pageList.elements(); e.hasMoreElements(); )
if (e.nextElement().isChanged()) return true;
return false;
}
public void setFont(Font _font) {
myFont = _font;
for (java.util.Enumeration<Editor> e = pageList.elements(); e.hasMoreElements(); )
e.nextElement().setFont(_font);
}