You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@@ -6,8 +6,6 @@ Goals are visualised in a panel on the right side of the editor.
You can navigate in proof with the following key-bindings:
***Linux and Windows***
-``Ctrl+Right`` (``Ctrl+fn+Right`` in `Mac OS X`): go one step forward
-``Ctrl+Left`` (``Ctrl+fn+Left`` in `Mac OS X`): go one step backward
-``Ctrl+Up``: go to the previous proof <sup>*</sup> (or the beginning)
Expand All
@@ -25,7 +23,7 @@ You can navigate in proof with the following key-bindings:
-``Ctrl+Alt+w``: toggle follow mode (proof highlight is always centered in the window when keybindings are pressed)
-``Shift+Alt+w``: center proof highlight in the current window
For `go to the previous proof` and `go to the next proof` Key bindings need to be changed in Code->Preferences->keyboard shortcuts (also reachable with Command+K Command+S) because default ones are used by Mac OS X
For `go to the previous proof` and `go to the next proof`, Key bindings need to be changed in Code->Preferences->keyboard shortcuts (also reachable with Command+K Command+S) because default ones are used by Mac OS X
