Documentation
Publicon
Reference
Preferences
Global Options
Dialog Settings
BackgroundTasksSettings
{...}
BackgroundTasksSettings is a global option that stores settings associated with the "Background Tasks" dialog box. It consists of the following suboption.
"WindowMargins"
• "WindowMargins" is a global option that determines the size of margins around the "Background Tasks" 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.