?? graphtabbedpane.java
字號(hào):
package com.opensymphony.workflow.designer;import java.util.List;import java.util.ArrayList;import javax.swing.*;import javax.swing.event.*;/** * User: Hani Suleiman * Date: Jan 9, 2004 * Time: 1:22:46 PM */public class GraphTabbedPane extends JTabbedPane{ private List graphs = new ArrayList(); public GraphTabbedPane() { // register a change listener addChangeListener(new ChangeListener() { // this method is called whenever the selected tab changes public void stateChanged(ChangeEvent evt) { WorkflowDesigner.INSTANCE.showSelectedCellDetails(); } }); } public WorkflowGraph getCurrentGraph() { int index = getSelectedIndex(); if(index == -1 || index >= graphs.size()) return null; return (WorkflowGraph)graphs.get(index); } public boolean selectWorkflow(String workflowName) { for(int i = 0; i < getTabCount(); i++) { String name = getTitleAt(i); if(name.equals(workflowName)) { setSelectedIndex(i); getCurrentGraph().getSelectionModel().clearSelection(); return true; } } return false; } public void addGraph(WorkflowGraph graph) { graphs.add(graph); add(graph.getName(), new JScrollPane(graph)); setSelectedIndex(getComponentCount() - 1); } public void removeAll() { super.removeAll(); graphs.clear(); } public WorkflowGraph[] getGraphs() { WorkflowGraph[] g = new WorkflowGraph[graphs.size()]; graphs.toArray(g); return g; } public WorkflowGraph getGraph(String workflowName) { for(int i = 0; i < graphs.size(); i++) { WorkflowGraph graph = (WorkflowGraph)graphs.get(i); if(graph.getName().equals(workflowName)) { return graph; } } return null; } public void renameGraph(String name, String newName) { for(int i = 0; i < graphs.size(); i++) { WorkflowGraph graph = (WorkflowGraph)graphs.get(i); if(graph.getName().equals(name)) { graph.setName(newName); setTitleAt(i, newName); return; } } } public void removeGraph(String name) { for(int i = 0; i < graphs.size(); i++) { WorkflowGraph graph = (WorkflowGraph)graphs.get(i); if(graph.getName().equals(name)) { removeTabAt(i); graphs.remove(i); revalidate(); return; } } } public void removeGraph(WorkflowGraph graph) { for(int i = 0; i < graphs.size(); i++) { WorkflowGraph g = (WorkflowGraph)graphs.get(i); if(graph == g) { removeTabAt(i); graphs.remove(i); revalidate(); return; } } }}
?? 快捷鍵說(shuō)明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號(hào)
Ctrl + =
減小字號(hào)
Ctrl + -