<option type="enum" id="opt/min12xxw-Resolution">
  <!-- A multilingual <comments> block can appear here, too;
       it should be treated as documentation for the user. -->
  <arg_longname>
   <en>Resolution</en>
  </arg_longname>
  <arg_shortname>
   <en>Resolution</en><!-- backends only know <en> shortnames! -->
  </arg_shortname>
  <arg_execution>
   <arg_group>General</arg_group>
   <arg_order>100</arg_order>
   <arg_spot>A</arg_spot>
   <arg_forced_composite />
   <arg_proto></arg_proto>
  </arg_execution>
  <constraints>
     <constraint sense="true">
      <driver>min12xxw</driver>
      <arg_defval>ev/min12xxw-Resolution-600x600dpi</arg_defval>
     </constraint>
  </constraints>
  <enum_vals>
   <enum_val id="ev/min12xxw-Resolution-300x300dpi">
    <ev_longname>
     <en>300 DPI</en>
    </ev_longname>
    <!-- A multilingual <comments> block can appear here, too;
         it should be treated as documentation for the user. -->
    <ev_shortname>
     <en>300x300dpi</en>
     <!-- Until someone tells me how to learn the user locale in 
          backends, the shortname must be monolingual in <en>! -->
    </ev_shortname>
    <ev_driverval>DriverResolution=300x300dpi GSResolution=300x300dpi</ev_driverval>
   </enum_val>
   <enum_val id="ev/min12xxw-Resolution-600x600dpi">
    <ev_longname>
     <en>600 DPI</en>
    </ev_longname>
    <!-- A multilingual <comments> block can appear here, too;
         it should be treated as documentation for the user. -->
    <ev_shortname>
     <en>600x600dpi</en>
     <!-- Until someone tells me how to learn the user locale in 
          backends, the shortname must be monolingual in <en>! -->
    </ev_shortname>
    <ev_driverval>DriverResolution=600x600dpi GSResolution=600x600dpi</ev_driverval>
   </enum_val>
   <enum_val id="ev/min12xxw-Resolution-1200x600dpi">
    <ev_longname>
     <en>1200x600 DPI</en>
    </ev_longname>
    <!-- A multilingual <comments> block can appear here, too;
         it should be treated as documentation for the user. -->
    <ev_shortname>
     <en>1200x600dpi</en>
     <!-- Until someone tells me how to learn the user locale in 
          backends, the shortname must be monolingual in <en>! -->
    </ev_shortname>
    <ev_driverval>DriverResolution=1200x600dpi GSResolution=1200x600dpi</ev_driverval>
   </enum_val>
   <enum_val id="ev/min12xxw-Resolution-1200x1200dpi">
    <ev_longname>
     <en>1200 DPI</en>
    </ev_longname>
    <!-- A multilingual <comments> block can appear here, too;
         it should be treated as documentation for the user. -->
    <ev_shortname>
     <en>1200x1200dpi</en>
     <!-- Until someone tells me how to learn the user locale in 
          backends, the shortname must be monolingual in <en>! -->
    </ev_shortname>
    <ev_driverval>DriverResolution=1200x1200dpi GSResolution=1200x1200dpi</ev_driverval>
   </enum_val>
  </enum_vals>
</option>
