gpplugin.java

来自「用JGraph编的软件」· Java 代码 · 共 30 行

JAVA
30
字号
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 + =
减小字号Ctrl + -
显示快捷键?