* @see JGraphEditorKit#addTool(JGraphEditorTool)
* @see #createVertexTool(String, Object, int, ImageIcon)
* @see #createEdgeTool(String, String, Edge.Routing)
*/
protected void addTools(JGraphEditor editor, JGraphEditorKit kit) {
kit.addTool(new JGraphEditorTool(NAME_SELECTTOOL, false));
JGraphpadVertexTool tool = createVertexTool(NAME_TEXTTOOL,
new JGraphpadRichTextValue(""), -1, null, true);
tool.setPreviewEnabled(false);
kit.addTool(tool);
kit.addTool(createVertexTool(NAME_VERTEXTOOL,