Documentation Publicon Reference Preferences Button Options Display Options
ButtonMargins
• ButtonMargins is an option for buttons that determines the space in printer's points between the contents of a button and the button frame.
• The default setting is ButtonMargins 3. • See also: ButtonExpandable, ButtonMinHeight.