| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] | 
This macro is emitted if it is both settable and it can be disabled. If it cannot be disabled, it may always be CLEAR-ed (see above).
The form of the macro will actually depend on whether the
option is equivalenced to another, and/or has an assigned
handler procedure.  Unlike the SET_OPT macro,
this macro does not allow an option argument.
| DISABLE_OPT_NAME; | 
 
  This document was generated by Bruce Korb on December 13, 2010 using texi2html 1.82.