EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Normally, a keyboard command is associated with some documentation and an object specifying what keyboard string is bound to that command.
Here's an example of a "review" for a keyboard command:

`all' kbd_tt_all  <CHANGE>  (plain, insert) [var]:<type>. <prop>


indicates that the command named kbd_tt_all is associated with the keyboard string "all", and is a standard insertion command that is invoked only in a PLAIN environment, and inserts the indicated term. Generally, if the command behavior is conditioned on one of the standard edit contexts doc for edit context, that will be indicated. If the kind of behavior is one of a standard kind, that will be indicated:

insert means it is a standard insertion command. A sample of insertion is shown. doc for term insertion
 
apply means a certain ML function will be applied to the point, replacing it by the resulting term. If there is a comment documenting that function, it will be shown in the command review.
 
hideapply is like apply, but the point will be left intact, and the answer will be returned on the stack instead.

There may be multiple behaviors or qualifications associated with a command, and several such entries may then be listed.

NOTE: the standard bindings don't combine control- or meta- with shifted PRINTING characters. This allows us to indicate the unshifted printing character by showing its shifted companion instead, which is often better mnemonically. So, (c-?) may would actually indicate (c-/).

Normally the indicated keyboard string is the one the command is bound to, but it is possible to change this string before the actual binding is effected.
You could go find this binding object and edit it directly, but this review utility is designed to simplify that task.

`(mouseleft)' on a review will record the command in the list of "noticed" commands, which can then be reviewed as a class using the button: Review

If you want to change the keyboard bindings for commands, doc for edit cmd review2.

About:
all
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

EditorDoc Sections Nuprl Doc