Next: beta-reduce mode, Previous: summary buffer, Up: extra buffers [Index]

(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