Next: context buffer, Up: extra buffers [Index]

(version: 1.1.2)

## 11 Inspect buffer

The inspect buffer for Cedille provides basic information about a node. To display the inspect buffer, select a node and press `I` and you will open up the inspect buffer and jump to it. If you just want to open the inspect buffer (but not jump to it), press `i` instead.

The inspect buffer contains information about the selected node, and is automatically updated during navigation.

## 12 Controls

`i/I`

  Close the inspect mode window

(version: 1.1.2)

## 13 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