1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
<html>
<head>
<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
<link rel="stylesheet" type="text/css" href="../../../style.css">
<title>Edit menu (editor window)</title>
</head>
<body>
<h1>Edit Menu</h1>
<table width="100%" border="0" cellspacing="12">
<tr valign="top">
<td width="40%"><strong>Undo</strong></td><td width="60%">Undoes any action taken in the editor window.</td>
</tr>
<tr valign="top">
<td width="40%"><strong>Redo</strong></td><td width="60%">
Redoes any action that was previously undone by the
<a href="undo.html">undo button</a>.
</td>
</tr>
<tr>
<th colspan="2">
<hr>
</th>
</tr>
<tr valign="top">
<td width="40%"><strong>Clear</strong></td><td width="60%">Clears the drawing area of the editor.</td>
</tr>
<tr>
<th colspan="2">
<hr>
</th>
</tr>
<tr valign="top">
<td width="40%"><strong>Selection Tool</strong></td><td width="60%">Selects the selection tool. When this tool is selected, you can select vertices or edges in the graph.
You can then drag them to another location or delete them.</td>
</tr>
<tr valign="top">
<td width="40%"><strong>Creation Tool</strong></td><td width="60%">Selects the creation tool. When this button is selected, you can create new vertices by clicking on
the position where you want them. If you want to create a new edge just click on the first endpoint
and hold the mouse down while moving to the second endpoint. If you don't stop on an existing
vertex a new vertex will be created on the location where you released the mouse. If you click on an
edge it will be split and a new vertex will be added.</td>
</tr>
</table>
</body>
</html>
|
