|
ButtonMargins
ButtonMargins is an option for ButtonBox which specifies how much space in printer's points to leave around the contents of a button when the button is displayed.
The default setting is ButtonMargins->3.
See Section 2.9.11.
See also: ButtonExpandable, ButtonMinHeight.
New in Version 3.
|