EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
This is a management device for controlling incompatible 201 display forms.
See term_to_print_strings_new for explanation of "201 display".

It is assumed that the kinds of special display markups used for exporting to various formats are not sharable between formats, and that at most one kind may be active at a time. Since the display system does not distinguish kinds in this way we must contrive them.

This is done by making each kind indicator a macro (<kindtag>) that either disqualifies the marked display spec by expanding to the (DontUse) attribute, or else does qualify the dform spec by not so expanding.

So selecting a kind of 201 display method requires altering the macros all the competing 201 kinds and rechecking all the 201 display form objects.

SHOW Kinds

RAISE Activation Menu IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

EditorDoc Sections Nuprl Doc