set-editor-margin in ps-setup%

• (send a-ps-setup set-editor-margin h v) -> void
     h : exact non-negative integer
     v : exact non-negative integer

  Sets the horizontal and vertical margins used when when printing an editor with the print method. These margins are always used for printing, whether the drawing destination is a post-script-dc% or printer-dc%. The margins are in the units of the destination printer-dc% or post-script-dc%. In the case of post-script-dc% printing, the editor margin is in addition to the PostScript margin that is determined by set-margin.