Edit Menu
  • Undo 
  • This will option will undo last action made. Note that keeping the mouse on an undo button usually shows you the next undo message.

  • Select All
  • This option lets you select all the operation in the precedence graph.

  • Search
  • This option allows you to search an operation inside the graph. The “Search Operation” dialog box proposes you different options click here for more details.