get-margin in editor-snip%

Gets the current margins for the snip. The margin sets how much space is left between the edge of the editor's contents and the edge of the snip.

• (send an-editor-snip get-margin l t r b) -> void
     l : boxed exact non-negative integer
     t : boxed exact non-negative integer
     r : boxed exact non-negative integer
     b : boxed exact non-negative integer

  The l box is filled with left margin. The t box is filled with top margin. The r box is filled with right margin. The b box is filled with bottom margin.