Previous Up Next

3.2  Keyboard Shortcuts

3.2.1  Set the ProverEditor keyboard shortcuts on

To activate keyboard shortcuts in ProverEditor, you must go to Window > Preferences... in the category Keys, choose Modify and change the scheme to Prover Editor, as on the image. After, click on Apply or Ok to accept the changes.



3.2.2  Shortcuts


Previous Up Next