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
|
<html>
<head>
<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
<link rel="stylesheet" type="text/css" href="../../../style.css">
<title>Selection menu (editor window)</title>
</head>
<body>
<h1>Selection Menu</h1>
<table width="100%" border="0" cellspacing="12">
<tr valign="top">
<td width="40%"><strong>Select none</strong></td><td width="60%">Unselect any vertex or edge that is currently selected.</td>
</tr>
<tr valign="top">
<td width="40%"><strong>Select all</strong></td><td width="60%">Selects all the vertices and edges of the current graph.</td>
</tr>
<tr valign="top">
<td width="40%"><strong>Delete selection</strong></td><td width="60%">Deletes the vertices and/or the edges that are currently selected.</td>
</tr>
<tr>
<th colspan="2">
<hr>
</th>
</tr>
<tr valign="top">
<td width="40%"><strong>Delete selected graphs</strong></td><td width="60%">Deletes the selected graphs from the graphlist right of the drawing area.</td>
</tr>
</table>
</body>
</html>
|
