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 setCurrentLayout(int newId) {
if (newId >= nviews) return;
tabbedPane.removeAll();
tabbedToolPanel.removeAll();
String key;
String currValue;
JComponent obj;
PushpinIF pobj;
clearPushpinComp();
for (int i = 0; i < keys.size(); i++) {
key = (String) keys.get(i);
currValue = (String) tp_paneInfo[newId].get(key);
obj = (JComponent) panes.get(key);
pobj = null;
if (currValue.equals("yes") && obj != null) {
if (obj instanceof PushpinIF) {
pobj = (PushpinIF) obj;
pobj.setAvailable(true);
if (!pobj.isOpen()) {
if (!pobj.isPopup()) obj = null;
}
}
if (obj != null) {
if (key.equals("Locator")) key = getLocatorName();
tabbedPane.addTab(key, null, obj, "");
}
// tabbedPane.addTab(key, null, (JComponent)panes.get(key), "");
}
}
if (tabbedPane.getTabCount() < 1) {
pinPanel.setAvailable(false);
pinPanel.setStatus("close");
// setVisible(false);
return;
}
pinPanel.setAvailable(true);
pinPanel.setStatus("open");
if (tabbedPane.getTabCount() == 1) {
tabbedToolPanel.add(tabbedPane.getComponentAt(0));
// tabbedToolPanel.add(tabbedPane);
} else {
tabbedToolPanel.add(tabbedPane);
}
setSelectedTab(tp_selectedTab, selectedTabName);
tabbedToolPanel.validate();
// repaint();
}
private void setSelectedTab(int id, String name) {
if (tabbedPane == null) return;
int selectId = id;
if (name != null) {
for (int k = 0; k < tabbedPane.getTabCount(); k++) {
String tabName = tabbedPane.getTitleAt(k);
if (name.equals(tabName)) {
selectId = k;
break;
}
}
}
if (selectId >= 0 && selectId < tabbedPane.getTabCount()) tabbedPane.setSelectedIndex(selectId);
}
protected void showFirstPage() {
if (tabbedPanel.getTabCount() <= 0) cardLayout.show(finalPanel, "FirstPanel");
else {
cardLayout.show(finalPanel, "TabbedPanel");
tabbedPanel.setSelectedIndex(0);
}
}
public boolean popdnTool(String name) {
JComponent obj = searchTool(name);
if (obj == null) return false;
if (obj instanceof VToolPanel) {
if (!((VToolPanel) obj).popdnTool(name)) return false;
} else {
if (obj instanceof PushpinIF) {
PushpinIF pobj = (PushpinIF) obj;
pobj.pinPopup(false);
}
boolean bContain = containTool(obj);
if (!bContain) return false;
}
bChangeTool = true;
setCurrentLayout();
if (previous_selectedTab >= 1 && tabbedPane != null) {
if (tabbedPane.getTabCount() > previous_selectedTab)
tabbedPane.setSelectedIndex(previous_selectedTab);
}
VnmrjIF vif = Util.getVjIF();
if (vif != null) vif.raiseToolPanel(false);
if (!pinPanel.isOpen()) pinPanel.setVisible(false);
bChangeTool = false;
updateSelectedObj();
repaint();
return true;
}
private void assertTabCount(Content content) {
// PluginSettingsBean bean = (PluginSettingsBean)
// SharedObjectPool.getUserData(SharedConstants.PLUGIN_SETTINGS);
PluginSettingsBean bean = PluginKeys.PLUGIN_SETTINGS.getData();
if (bean == null) {
bean = new PluginSettingsBean();
}
int max = bean.getNumberOfTabs();
if (max <= getTabComponent(content).getTabCount()) {
// remove the oldest tab
JTabbedPane tabbedPane = getTabComponent(content);
long lastMin = Long.MAX_VALUE;
int index = 0;
for (int i = 0; i < tabbedPane.getTabCount(); i++) {
JComponent tab = (JComponent) tabbedPane.getTabComponentAt(i);
Long time = (Long) tab.getClientProperty(CREATE_TIME);
if (time != null && lastMin < time) {
lastMin = time;
index = i;
}
}
tabbedPane.remove(index);
}
}
protected Component getTab(String name) {
for (int i = 0; i < tabPane.getTabCount(); i++) {
if (tabPane.getTitleAt(i).equals(name)) {
return tabPane.getComponentAt(i);
}
}
return null;
}
public void testTabbedPane() throws Exception {
JTabbedPane tabbedPane =
(JTabbedPane) getInstrumentedRootComponent("TestTabbedPane.form", "BindingTest");
assertEquals(2, tabbedPane.getTabCount());
assertEquals("First", tabbedPane.getTitleAt(0));
assertEquals("Test Value", tabbedPane.getTitleAt(1));
assertTrue(tabbedPane.getComponentAt(0) instanceof JLabel);
assertTrue(tabbedPane.getComponentAt(1) instanceof JButton);
}
public void addPanel(String name, JPanel panel) {
if (tabbedPane.getTabCount() == 0) {
preffered = panel.getPreferredSize();
}
panel.setPreferredSize(preffered);
tabbedPane.add(name, panel);
}
private Component getSelectedObj() {
if (tabbedToolPanel.getComponentCount() < 1) return null;
Component comp = tabbedToolPanel.getComponent(0);
if (comp instanceof JTabbedPane) {
JTabbedPane tp = (JTabbedPane) comp;
if (tp.getTabCount() == 1) {
comp = tp.getComponentAt(0);
} else if (tp.getTabCount() > 1) {
comp = tp.getSelectedComponent();
}
}
if (comp instanceof VToolPanel) return comp;
if (!(comp instanceof XMLToolPanel)) {
if (comp instanceof PushpinIF) comp = ((PushpinIF) comp).getPinObj();
}
return comp;
}
private void clearChats() {
// 在管理器中清除当然所有对话
ChatManager.clearChats();
int count = tabbedPane.getTabCount();
for (int i = 0; i < count; i++) {
tabbedPane.removeTabAt(0);
}
}
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);
}
/** Display the previous tab in the SQL results. */
public void gotoPreviousResultsTab() {
final int tabCount = _tabbedExecutionsPanel.getTabCount();
if (tabCount > 1) {
int prevTabIdx = _tabbedExecutionsPanel.getSelectedIndex() - 1;
if (prevTabIdx < 0) {
prevTabIdx = tabCount - 1;
}
_tabbedExecutionsPanel.setSelectedIndex(prevTabIdx);
}
}
/** Display the next tab in the SQL results. */
public void gotoNextResultsTab() {
final int tabCount = _tabbedExecutionsPanel.getTabCount();
if (tabCount > 1) {
int nextTabIdx = _tabbedExecutionsPanel.getSelectedIndex() + 1;
if (nextTabIdx >= tabCount) {
nextTabIdx = 0;
}
_tabbedExecutionsPanel.setSelectedIndex(nextTabIdx);
}
}
private ArrayList<Component> getAllTabs() {
ArrayList<Component> allTabs = new ArrayList<Component>();
for (int i = 0; i < _tabbedExecutionsPanel.getTabCount(); i++) {
Component component = _tabbedExecutionsPanel.getComponentAt(i);
if (false == component instanceof CancelPanel) {
allTabs.add(component);
}
}
return allTabs;
}
private void checkResultTabLimit() {
SessionProperties props = _session.getProperties();
while (props.getLimitSQLResultTabs()
&& props.getSqlResultTabLimit() < _tabbedExecutionsPanel.getTabCount()) {
if (_tabbedExecutionsPanel.getComponentAt(0) instanceof CancelPanel) {
break;
}
closeTabAt(0);
}
}
private void removeStatsTabs() {
for (int i = tabbedPane.getTabCount() - 1; i >= 0; i--) {
String name = tabbedPane.getTitleAt(i);
if (name.equals("DAG Model Statistics")) {
tabbedPane.removeTabAt(i);
} else if (name.equals("DAG in pattern")) {
tabbedPane.removeTabAt(i);
}
}
}
private int getIndexOfTab(JComponent tab) {
if (null == tab) {
return -1;
}
for (int i = 0; i < _tabbedExecutionsPanel.getTabCount(); i++) {
if (tab == _tabbedExecutionsPanel.getComponentAt(i)) {
return i;
}
}
return -1;
}
private void displayTool(Component comp) {
if (tabbedPane != null && tabbedPane.getTabCount() > 1) {
if (tabbedPane.indexOfComponent(comp) >= 0) {
tabbedPane.setSelectedComponent(comp);
}
}
if (comp instanceof PushpinObj) comp = ((PushpinObj) comp).getPinObj();
if (comp instanceof XMLToolPanel) {
((XMLToolPanel) comp).updateChange();
((XMLToolPanel) comp).setEditMode(inEditMode);
} else if (comp instanceof VToolPanel) ((VToolPanel) comp).updateValue();
}
/**
* 安装皮肤
*
* @param skinService
*/
@Override
public void installSkin(SkinService skinService) {
super.installSkin(skinService);
this.contentPane.installSkin(skinService);
setIconImage(skinService.getIconByKey("window/titleWIcon").getImage());
// 更新每个tab中panel的皮肤
for (int i = 0; i < tabbedPane.getTabCount(); i++) {
BasicPanel entityPanel = (BasicPanel) tabbedPane.getComponentAt(i);
entityPanel.installSkin(skinService);
}
}
protected void deleteCurrentPanel() {
JComponent tabPane = (JComponent) tabbedPane.getSelectedComponent();
if (tabPane == null) return;
WMSPanel wmsPanel = (WMSPanel) tabPane.getClientProperty(Constants.FEATURE_OWNER_PROPERTY);
if (tabbedPane.getTabCount()
> 2) // actually remove the tab only if there is more than one (plus the "+" tab)
tabbedPane.remove(tabPane);
else tabbedPane.setTitleAt(1, "New Server");
if (wmsPanel != null) wmsPanel.clearPanel();
}
private void removeErrorPanels() {
ArrayList<ErrorPanel> toRemove = new ArrayList<ErrorPanel>();
for (int i = 0; i < _tabbedExecutionsPanel.getTabCount(); i++) {
Component tab = _tabbedExecutionsPanel.getComponentAt(i);
if (tab instanceof ErrorPanel) {
toRemove.add((ErrorPanel) tab);
}
}
for (ErrorPanel errorPanel : toRemove) {
closeTab(errorPanel);
}
}
/**
* Run the process.
*
* @return True if the process has already been launch, false otherwise.
*/
public boolean runProcess() {
if (processExecutionData.getState().equals(ProcessExecutionData.ProcessState.IDLE)
|| processExecutionData.getState().equals(ProcessExecutionData.ProcessState.ERROR)
|| processExecutionData.getState().equals(ProcessExecutionData.ProcessState.COMPLETED)) {
clearLogPanel();
processExecutionData.runProcess();
// Select the execution tab
stateLabel.setText(processExecutionData.getState().getValue());
tabbedPane.setSelectedIndex(tabbedPane.getTabCount() - 1);
return false;
} else {
return true;
}
}
protected WMSPanel addNewPanel(final JTabbedPane tabPane) {
final WMSPanel wmsPanel = new WMSPanel(null); // the null indicates not to register the panel
wmsPanel.initialize(this.controller);
wmsPanel.getJPanel().putClientProperty("WMS_PANEL", wmsPanel);
tabPane.putClientProperty(wmsPanel.getURLString(), wmsPanel);
tabPane.addTab("New Server", wmsPanel.getJPanel());
tabPane.setSelectedIndex(tabPane.getTabCount() - 1);
tabPane.setToolTipTextAt(tabbedPane.getSelectedIndex(), "Server WMS Contents");
wmsPanel.addPropertyChangeListener(
new PropertyChangeListener() {
public void propertyChange(PropertyChangeEvent evt) {
if (evt.getPropertyName().equals("NewServer")) {
String serverLocation = (String) evt.getNewValue();
if (WWUtil.isEmpty(serverLocation)) return;
//
// // Check to see if it's already open.
// for (int i = 0; i < tabbedPane.getTabCount(); i++)
// {
// JPanel jp = (JPanel) tabbedPane.getTabComponentAt(i);
// if (jp != null)
// {
// WMSPanel wp = (WMSPanel)
// jp.getClientProperty("WMS_PANEL");
// if (wp != null &&
// wp.getURLString().equalsIgnoreCase(serverLocation))
// {
// tabbedPane.setSelectedIndex(i); // make it the
// visible one
// return;
// }
// }
// }
try {
addNewPanel(tabPane).contactWMSServer(serverLocation);
} catch (URISyntaxException e) {
e.printStackTrace(); // TODO
}
}
}
});
return wmsPanel;
}
public void saveUiLayout() {
for (int i = 0; i < toolList.size(); i++) ((VToolPanel) toolList.get(i)).saveUiLayout();
Hashtable hs = sshare.userInfo();
/*
if (hs == null || tabbedPane == null || tabbedPane.getTabCount() <= 0)
return;
*/
if (hs == null || tabbedPane == null) return;
if (tabbedPane.getTabCount() > 0) {
Integer hashValue = new Integer(tabbedPane.getSelectedIndex());
hs.put("tabbedToolPanel", hashValue);
}
putHsLayout(vpId);
}
public int getOpenCount() {
int num = tabbedToolPanel.getComponentCount();
if (num != 1) return num;
Component comp = tabbedToolPanel.getComponent(0);
if (comp instanceof JTabbedPane) {
JTabbedPane tp = (JTabbedPane) comp;
num = tp.getTabCount();
if (num != 1) return num;
comp = tp.getComponentAt(0);
}
if (comp instanceof VToolPanel) num = ((VToolPanel) comp).getOpenCount();
else if (comp instanceof PushpinIF) {
if (!((PushpinIF) comp).isOpen()) num = 0;
}
return num;
}
public void initUiLayout() {
getHsLayout(vpId);
for (int i = 0; i < toolList.size(); i++) ((VToolPanel) toolList.get(i)).initUiLayout();
initPanel();
updatePinTabs();
Hashtable hs = sshare.userInfo();
if (hs == null || tabbedPane == null || tabbedPane.getTabCount() <= 0) return;
Object obj = hs.get("tabbedToolPanel");
if (obj == null) return;
int indx = ((Integer) obj).intValue();
if (indx < 0) return;
// if(indx >= 0 && indx < tabbedPane.getTabCount())
// tabbedPane.setSelectedIndex(indx);
setSelectedTab(tp_selectedTab, null);
}
private void tabChanged() {
if (bChangeTool) return;
int index = -1;
previous_selectedTab = 0;
if (tabbedPane.getTabCount() > 1) {
index = tabbedPane.getSelectedIndex();
Component comp = tabbedPane.getSelectedComponent();
if (comp != null && (comp instanceof PushpinIF)) {
PushpinIF pobj = (PushpinIF) comp;
if (!pobj.isPopup()) previous_selectedTab = index;
}
}
updateSelectedObj();
if (index >= 0) {
if (Util.getRQPanel() != null) {
Util.getRQPanel().updatePopup(tabbedPane.getTitleAt(index));
}
}
}
public void updateLanguage() {
//////////////////////////////////////////////////////////////
mdic = MonitorDictionary.getChildDictionary("ThreadManager");
MonitorDictionary.applyButton(btnKick, "Kick");
MonitorDictionary.applyButton(btnRefresh, "Refresh");
MonitorDictionary.applyButton(btnSend, "Send");
tblUser.setColumnNameEx(mdic.getString("LoginName"), 1);
tblUser.setColumnNameEx(mdic.getString("LoginTime"), 2);
tblUser.setColumnNameEx(mdic.getString("Host"), 3);
//////////////////////////////////////////////////////////////
MonitorDictionary.applyButton(mnuSelectAll, "jmenu.Edit.SelectAll");
MonitorDictionary.applyButton(mnuClearAll, "jmenu.Edit.ClearAll");
MonitorDictionary.applyButton(mnuClearSelected, "jmenu.Edit.ClearSelected");
//////////////////////////////////////////////////////////////
MonitorDictionary.applyButton(mnuSystem, "jmenu.System");
MonitorDictionary.applyButton(mnuSystem_ChangePassword, "jmenu.System.ChangePassword");
MonitorDictionary.applyButton(mnuSystem_StopServer, "jmenu.System.Shutdown");
MonitorDictionary.applyButton(mnuSystem_EnableThreads, "jmenu.System.ThreadManager");
MonitorDictionary.applyButton(mnuHelp, "jmenu.Help");
MonitorDictionary.applyButton(mnuHelp_About, "jmenu.Help.About");
//////////////////////////////////////////////////////////////
MonitorDictionary.applyButton(mnuUI, "jmenu.UI");
//////////////////////////////////////////////////////////////
if (isOpen()) {
lblStatus.setText(
" " + MonitorDictionary.getString("LoggedUser") + ": " + channel.getUserName());
MonitorDictionary.applyButton(mnuSystem_Login, "jmenu.System.Logout");
mnuSystem_ChangePassword.setEnabled(true);
mnuSystem_StopServer.setEnabled(true);
mnuSystem_EnableThreads.setEnabled(true);
} else {
lblStatus.setText("");
MonitorDictionary.applyButton(mnuSystem_Login, "jmenu.System.Login");
mnuSystem_ChangePassword.setEnabled(false);
mnuSystem_StopServer.setEnabled(false);
mnuSystem_EnableThreads.setEnabled(false);
}
//////////////////////////////////////////////////////////////
for (int iIndex = 0; iIndex < pnlThread.getTabCount(); iIndex++)
((PanelThreadMonitor) pnlThread.getComponentAt(iIndex)).updateLanguage();
}
private static int getMaxTabHeight(JTabbedPane tp) {
int fontHeight = tp.getFontMetrics(tp.getFont()).getHeight();
int height = fontHeight;
boolean tallerIcons = false;
for (int counter = tp.getTabCount() - 1; counter >= 0; counter--) {
Icon icon = tp.getIconAt(counter);
if (icon != null) {
int iconHeight = icon.getIconHeight();
height = Math.max(height, iconHeight);
if (iconHeight > fontHeight) {
tallerIcons = true;
}
}
}
Insets tabInsets = UIManager.getInsets("TabbedPane.tabInsets");
height += 2;
if (!isMetal() || !tallerIcons) {
height += tabInsets.top + tabInsets.bottom;
}
return height;
}
