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:
- :- include(file).
- a predicate all written as name(arg, ...).
Future versions are likely to add more options, such as jumping to caller
locations, open the documentation, listing predicates, etc.