About

The editor is an instance of CodeMirror, extended with various standard, contributed and dedicated plugins. Notably the hover and semantic highlighting plugins have been developed within the SWISH project.

Find and replace

We load the default CodeMirror plugin for find and replace. The keybindings are:

Ctrl-F / Cmd-F
Start searching
Ctrl-G / Cmd-G
Find next
Shift-Ctrl-G / Shift-Cmd-G
Find previous
Shift-Ctrl-F / Cmd-Option-F
Replace
Shift-Ctrl-R / Shift-Cmd-Option-F
Replace all
Alt-F
Persistent search (dialog doesn't autoclose, enter to find next, Shift-Enter to find previous)
Alt-G
Jump to line

Navigating

If a token is related to one or more source locations, a long click (> 500 millseconds) opens a menu below the cursor that allows for jumping to the related location. Currently, these are:

Future versions are likely to add more options, such as jumping to caller locations, open the documentation, listing predicates, etc.