|
@@ -77,7 +77,7 @@ These can also be used by clicking on one of the buttons displayed in figure~\re
|
|
|
Alt + P & Activate automatic forwards execution. \\\hline
|
|
|
Alt + R & Activate automatic backwards execution. \\\hline
|
|
|
Alt + Pause & Pause automatic execution. \\\hline
|
|
|
- Alt + G & Generate a random graph (opens a dialog window). \\\hline
|
|
|
+ Alt + G & Generate a random graph (opens dialog window~\ref{fig:random-graph-dialog}). \\\hline
|
|
|
Alt + S & Save the current graph to a file (opens a dialog window). \\\hline
|
|
|
Alt + L & Load a graph from a file (opens a dialog window). \\\hline
|
|
|
Alt + D & Show a debug table (in a new window). \\\hline
|