📄 gpplugin.java
字号:
package org.jgraph.pad;
/* Example: Save and open remote files
import org.jgraph.pad.*;
import org.jgraph.GPGraphpad;
import org.jgraph.graph.*;
public class TestPlugin implements GPPlugin {
public void execute(GPGraphpad pad) {
GPGraph graph = (GPGraph) pad.getGraph();
// Access the Graph
System.out.println("Number of Cells: "+graph.getAll().length);
// Successfull Save
pad.setModified(false);
// Open a (New) Model
pad.addDocument("newGraph.jgp", new DefaultGraphModel(), null);
}
}
*/
public interface GPPlugin {
public void execute(org.jgraph.GPGraphpad pad);
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -