|
InterruptSettings {...}
InterruptSettings is a global option that stores settings associated with the "Interrupt Settings" 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.
Typically only two distances are given explicitly; the others are set to Automatic, indicating that they should be determined from the size of the window.
The settings for "WindowMargins" change automatically whenever you move a window around interactively on the screen.
The window edges closer to the edges of the screen are typically assigned explicit margin distances; the other edges are set to Automatic. This allows the same setting for "WindowMargins" to work on screens of different sizes.
|