8.3 Post-processing options

General post-processing option names have the form `PostProcessing.string'. Options peculiar to post-processing views take two forms.

1. options that should apply to all views can be set through `View.string', before any view is loaded;
2. options that should apply only to the n-th view take the form `View[n].string' (n = 0, 1, 2, …), after the n-th view is loaded.

The list of all post-processing and view options is given in Post-processing options list. See ‘t8.geo’, and ‘t9.geo’, for some examples.