|
|
@@ -77,7 +77,8 @@ These can also be used by clicking on one of the buttons displayed in figures~\r
|
|
|
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 dialog window~\ref{fig:random-graph-dialog}). \\\hline
|
|
|
+ Alt + G & Generate a random graph (opens dialog window~\ref{fig:random-graph-dialog}).
|
|
|
+ Ensures that the generated graph is connected.\\\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 (opens window~\ref{fig:debug-table}). \\\hline
|
