This is a special menu, as it can be defined by the user.
It consists of up to 10 DPI-entries, with which you can alter
the resolution, in which the DVI file will be displayed. Besides this
though the fonts of the particular resolutions must be available to you.
Without alterations of the user the menu has three entries:
<#110#>100 dpi<#110#>, <#111#>83 dpi<#111#> and <#112#>120 dpi<#112#>. You can read about
generating your own entries in chapter 6.