Documentation
Publicon
Reference
Preferences
Global Options
Dialog Settings
EditButtonSettings
{...}
EditButtonSettings is a global option associated with the "Edit Button" dialog box. This dialog box is accessed by clicking Input
Create Button. EditButtonSettings consists of the following suboption.
"WindowMargins"
• "WindowMargins" is a global option that determines the size of margins around the "Edit Button" dialog box.
• "WindowMargins"
{{left, right}, {bottom, top}} determines the distances from each edge of your screen to each edge of the window.
• The values of left, right, bottom, and top are given in points, where 72 points equal one inch.
• Negative values of left, right, bottom, and top represent edges that are off the screen.
• The settings for "WindowMargins" change automatically whenever you move a window around interactively on the screen.