| 
            plsdidev
          ( | mar , | 
| aspect , | |
| jx , | |
| jy ); | 
      Set relative margin width, aspect ratio, and relative
      justification that define current device-space window.  If you want to just use the previous value for any of
      these, just pass in the magic value PL_NOTSET. It is unlikely that one
      should ever need to change the aspect ratio but it's in there for
      completeness.
      If plsdidev is not called the default values
      of 
        ,
      mar
      
        , and
      jx
      
        
      are all 0. jy
      
        
      is set to a device-specific value.
    aspect
      
      Redacted form: plsdidev(mar, aspect, jx, jy)
    
This function is used in example 31.