add :margins as an alias for :margin

2021-07-08 11:33:05 +02:00 · 2021-07-08 11:33:05 +02:00 · f420363c03
commit f420363c03
parent 4a18098944
2 changed files with 6 additions and 5 deletions
--- a/src/args.jl
+++ b/src/args.jl
@ -577,6 +577,7 @@ end


 # margin
+add_aliases(:margins)
 add_aliases(:left_margin , :leftmargin)
 add_aliases(:top_margin , :topmargin)
 add_aliases(:bottom_margin , :bottommargin)