Source position: gtktexttag.inc line 216
procedure set_right_margin_set(
var a: TGtkTextTag;
__right_margin_set: guint
);