The Update Highlighting Button: Create Highlighting from File

The Update Highlighting button in the DRC Menu will delete the internal list of DRC error highlighting indicators, and rebuild the list from a DRC error log file. The error log file must exist in the current directory, have a file name beginning with ``drcerror.log'', and apply to the current cell. If there are multiple files found, a listing will appear, allowing the user to make a choice. After selecting an entry, pressing the Apply button on the list pop-up will continue the operation.

DRC error files are produced by the batch mode checking operations initiated from the DRC Run Control panel. In the foreground check, the highlighting list is generated along with the file, however no highlighting is produced in background checking, so this command can be used to visualize the errors in that case. It can also be used to bring back the highlighting that was cleared with the Clear Errors command, if there is a corresponding error log file.

The Dump Error File command performs the reverse operation, creating an error log file from the internal highlighting list.

The !errs prompt line command performs the same operations as this button.