Hide/Show Commands

There is experimental support for hiding bodies of specs, definitions and other multi-line constructs. The main command for hiding is Shift-Middle, i.e., holding down the shift key and middle-clicking near the beginning of a multi-line construct. This will hide all but the first line of the construct and display a ... at the end of the line to indicate that the body is hidden. Doing a shift-middle-click on this line will expand the body. Thus shift-middle-click acts as a hiding toggle. There is a Hide/Show menu. The most useful commands it contains are Show All and Hide All. Show All removes all hiding in the file. Hide All hides the bodies of all top-level constructs. I.e., if it is multi-unit file, the the bodies of the units will be hidden, and if is a single-unit file then the bodies of multi-line declarations such as definitions and axioms will be hidden.