(version: development)

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: development)

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