/** * Insert a new tab\graph in the editor and selects it. * * @param tabName * @param graph * @return PetriNetGraph */ public PetriNetGraph insertGraph(String tabName, PetriNetGraph graph) { tabs.add(tabName, new GraphViewContainer(graph)); tabs.setTabComponentAt(tabs.getTabCount() - 1, new ButtonTabComponent(tabs, tabName)); tabs.setSelectedIndex(tabs.getTabCount() - 1); indexOpenedGraphs++; return graph; }
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 createTab(String title, String adress) { System.out.println("create tab"); if (tab.getTabCount() > 0) tab.remove(tab.getTabCount() - 1); MyEditorPane pane = new MyEditorPane(adress); JScrollPane scPane = new JScrollPane(pane); pane.addHyperlinkListener(HYHandler); tab.addTab(title, scPane); addCloseButton(tab.getTabCount() - 1, title); pane.setEditable(false); tabAccess.add(new Tab(pane, new JTextField(adress))); if (adress != "") loadPage(pane, adress); tab.addTab("", new ImageIcon(iconDir + "newTab.png"), null); }
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); } }
private void onListRead(QueryListCreator queryListCreator) { for (int i = 0; i < _objectResultTabbedPane.getTabCount(); i++) { if (_objectResultTabbedPane.getComponentAt(i) == queryListCreator.getWaitPanel()) { _objectResultTabbedPane.removeTabAt(i); break; } } List list = queryListCreator.getList(); if (null == list) { return; } ObjectResultTabControllerListener l = new ObjectResultTabControllerListener() { @Override public void closeTab(ObjectResultTabController toClose) { onCloseTab(toClose); } }; String hqlQuery = queryListCreator.getHqlQuery(); int maxNumResults = queryListCreator.getMaxNumResults(); HibernateConnection con = queryListCreator.getConnection(); ObjectResultTabController ortc = new ObjectResultTabController(list, maxNumResults, con, hqlQuery, _resource, l, _session); int titelLen = Math.min(hqlQuery.length(), 14); String title = hqlQuery.trim().substring(0, titelLen).replaceAll("\n", " "); _objectResultTabbedPane.addTab(title, ortc.getPanel()); _objectResultTabbedPane.setSelectedComponent(ortc.getPanel()); }
/** Update tab title to each tab page. */ public void updateTabTitle() { for (int i = 0; i < tabbedPane.getTabCount(); i++) { final SessionPane session = (SessionPane) model.getSessions().elementAt(i); tabbedPane.setTitleAt(i, session.getSite().getName()); } }
/** * Change current session showed on the screen. * * @param index the index of session to be showed on the screen. */ public void changeSession(final int index) { if ((0 <= index) && (index < tabbedPane.getTabCount())) { // 取得焦點的工作 final Runnable sessionFocuser = new Runnable() { public void run() { final SessionPane session = (SessionPane) sessions.get(index); session.requestFocusInWindow(); } }; // 切換分頁的工作 (包含取得焦點的工作) final Runnable tabbedSwitcher = new Runnable() { public void run() { tabbedPane.setSelectedIndex(index); SwingUtilities.invokeLater(sessionFocuser); } }; // 啟動切換分頁的工作 SwingUtilities.invokeLater(tabbedSwitcher); } }
public ChatPane createChatPane(String userName) { JTextPane chatPane = new JTextPane(); chatPane.setEditable(false); Font font = chatPane.getFont(); float size = Main.pref.getInteger("geochat.fontsize", -1); if (size < 6) size += font.getSize2D(); chatPane.setFont(font.deriveFont(size)); // DefaultCaret caret = (DefaultCaret)chatPane.getCaret(); // does not work // caret.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE); JScrollPane scrollPane = new JScrollPane( chatPane, JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_NEVER); chatPane.addMouseListener(new GeoChatPopupAdapter(panel)); ChatPane entry = new ChatPane(); entry.pane = chatPane; entry.component = scrollPane; entry.notify = 0; entry.userName = userName; entry.isPublic = userName == null; chatPanes.put(userName == null ? PUBLIC_PANE : userName, entry); tabs.addTab(null, scrollPane); tabs.setTabComponentAt(tabs.getTabCount() - 1, new ChatTabTitleComponent(entry)); tabs.setSelectedComponent(scrollPane); return entry; }
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); } }
/** Handle OK/Cancel selections */ @Override public void close(String actionCommand) { super.close(actionCommand); if (isOKorAccept(actionCommand)) { World world = clientFrame.getWorld(); // this isn't really the way to do it GamePanel gp = (GamePanel) tabPane.getComponentAt(0); GameMetadata gmd = new GameMetadata(); gp.write(gmd); world.setGameMetadata(gmd); // assume panels 1-n are all player panels for (int i = 1; i < tabPane.getTabCount(); i++) { PlayerPanel pp = (PlayerPanel) tabPane.getComponentAt(i); PlayerMetadata pmd = new PlayerMetadata(); pp.write(pmd); world.setPlayerMetadata(pp.getPower(), pmd); } // set data-changed flag clientFrame.fireStateModified(); } if (propertyListener != null) { clientFrame.removePropertyChangeListener(propertyListener); } } // close()
private void secureAddTab(ExplainTab tab) { SessionProperties props = _session.getProperties(); if (s_log.isDebugEnabled()) { s_log.debug("secureAddTab - TabCount: " + _tabbedExecutionsPanel.getTabCount()); s_log.debug("secureAddTab - Limited?: " + props.getLimitSQLResultTabs()); s_log.debug("secureAddTab - TabLimit: " + props.getSqlResultTabLimit()); } if (props.getLimitSQLResultTabs() && props.getSqlResultTabLimit() <= _tabbedExecutionsPanel.getTabCount()) { closeTabAt(0); } _tabbedExecutionsPanel.addTab(tab.getTitle(), null, tab, tab.getToolTip()); _tabbedExecutionsPanel.setSelectedComponent(tab); }
/** Add a new tab with the given name. */ private void addTab(String name, int rows, int cols) { String rowString = ""; for (int i = 0; i < rows; i++) { rowString += "pref:grow"; if (i < rows - 1) rowString += ","; } String colString = ""; for (int i = 0; i < cols; i++) { colString += "pref:grow"; if (i < cols - 1) colString += ","; } FormLayout layout = new FormLayout(colString, rowString); Hashtable[] tmp = icons; icons = new Hashtable[tmp.length + 1]; System.arraycopy(tmp, 0, icons, 0, tmp.length); icons[icons.length - 1] = new Hashtable(); tmp = fields; fields = new Hashtable[tmp.length + 1]; System.arraycopy(tmp, 0, fields, 0, tmp.length); fields[fields.length - 1] = new Hashtable(); JPanel panel = new JPanel(layout); for (int x = 0; x < rows; x++) { for (int y = 0; y < cols; y++) { addIcon(panel, x, y, tabPane.getTabCount()); } } tabPane.addTab(name, panel); }
/** * Adds a tab to the gui. * * @param tab tab that will be added to the gui. */ public void addTab(JNotepadPPTab tab) { int index = tabPane.getTabCount(); tabPane.insertTab("", null, new JScrollPane(tab.getEditor()), "", index); tab.getTitle().setVisible(true); tabPane.setTabComponentAt(index, tab.getTitle()); setTab(index); }
public void addView(View view) { container.addTab("", null, view.getContent()); JPanel panel = new JPanel(); panel.add(new JLabel("My Title")); panel.add(createXButton()); container.setTabComponentAt(container.getTabCount() - 1, panel); }
public static void main(String[] args) throws BadLocationException, FileNotFoundException, UnsupportedEncodingException, IOException { m_form = new MainForm(); m_form.setVisible(true); JTabbedPane j = m_form.getTabbedPane(); if (!IO.loadFile(j)) { IO.setStatus("Welcome to ZeroVal."); SyntaxBox b = new SyntaxBox(); b.setHighlightText("//New Tab Name\n//Press Alt + Enter to evaluate"); j.insertTab("New Tab", null, b, "Blank Tab", 0); } else { IO.setStatus("Loaded tabs successfully."); } m_timer = new Timer( 60, new java.awt.event.ActionListener() { @Override public void actionPerformed(ActionEvent e) { try { ((SyntaxBox) m_form.getTabbedPane().getSelectedComponent()) .getPatternHandler() .renderSyntaxHighlighting(); } catch (BadLocationException ex) { Logger.getLogger(Base.class.getName()).log(Level.SEVERE, null, ex); } } }); m_timer.start(); j.insertTab("+", null, null, "Create New Tab", j.getTabCount()); }
private JPanel addResultPane() { JPanel resultPane = new JPanel(new BorderLayout()); resultPane.setOpaque(false); int componentCount = southPanel.getComponentCount(); if (componentCount == 0) { southPanel.add(resultPane, BorderLayout.CENTER); southPanel.revalidate(); southPanel.repaint(); } else { JTabbedPane tabbedPane; Component component0 = southPanel.getComponent(0); if (component0 instanceof JTabbedPane) { tabbedPane = (JTabbedPane) component0; } else { JPanel query1Panel = (JPanel) component0; southPanel.remove(0); tabbedPane = new JTabbedPane(); tabbedPane.addTab("Query 1", query1Panel); southPanel.add(tabbedPane, BorderLayout.CENTER); southPanel.revalidate(); southPanel.repaint(); } tabbedPane.addTab("Query " + (tabbedPane.getTabCount() + 1), resultPane); } return resultPane; }
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; }
/** * remove tab * * @param i */ protected void removeTab(int i) { if (i == 0) System.exit(1); tab.remove(i - 1); tabcreate = false; tab.setSelectedIndex(tab.getTabCount() - 2); tabAccess.remove(i - 1); }
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; }
private void onCloseTab(ObjectResultTabController toClose) { for (int i = 0; i < _objectResultTabbedPane.getTabCount(); i++) { if (_objectResultTabbedPane.getComponentAt(i) == toClose.getPanel()) { _objectResultTabbedPane.removeTabAt(i); break; } } }
public void selectFirstTabWithConflicts() { for (int i = 0; i < tabbedPane.getTabCount(); i++) { if (tabbedPane.isEnabledAt(i) && mergeIncomplete.equals(tabbedPane.getIconAt(i))) { tabbedPane.setSelectedIndex(i); break; } } }
public void setSelectedSheet(Sheet sheet) { for (int i = 0; i < tabbedPane.getTabCount(); i++) { SheetPanel sheetPanel = (SheetPanel) tabbedPane.getComponentAt(i); if (sheetPanel.getSheet().getName().equals(sheet.getName())) { tabbedPane.setSelectedIndex(i); break; } } }
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; }
public void toolMenuItem(ActionEvent evt) { JTabbedPane tp = GMGenSystemView.getTabPane(); for (int i = 0; i < tp.getTabCount(); i++) { if (tp.getComponentAt(i) instanceof PCGTrackerView) { tp.setSelectedIndex(i); } } }
/** * Sets the selected index on the CytoPanel. * * @param index The desired index. */ @Override public void setSelectedIndex(final int index) { // set selected index if (tabbedPane.getTabCount() <= index) return; tabbedPane.setSelectedIndex(index); resizeSelectedComponent(); // do not have to sent out notification - the tabbedPane will let us know. }
public void addPanel(String name, JPanel panel) { if (tabbedPane.getTabCount() == 0) { preffered = panel.getPreferredSize(); } panel.setPreferredSize(preffered); tabbedPane.add(name, panel); }
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); }
private void clearChats() { // 在管理器中清除当然所有对话 ChatManager.clearChats(); int count = tabbedPane.getTabCount(); for (int i = 0; i < count; i++) { tabbedPane.removeTabAt(0); } }