(version: 1.1.2)

16 Meta-Vars buffer

Meta-Vars mode displays the meta-variables along the current application spine, if any. Jumping (with j, see below) to the position of a meta-variable name will select the span where it was introduced. Jumping at the “=” will bring you to where it was solved.

(version: 1.1.2)

17 Common commands

M-c

Copy the contents of the current buffer to the scratch buffer

+

Increase the size of the buffer by one line

-

Decrease the size of the buffer by one line

=

Reset the buffer’s size

f

Moves to the next defined variable in the buffer

b

Moves to the previous defined variable in the buffer

a

Moves to the first defined variable in the buffer

e

Moves to the last defined variable in the buffer

j

Jumps to the definition of the selected variable