diff options
| author | Dana Jansens <danakj@orodu.net> | 2003-01-17 07:03:54 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2003-01-17 07:03:54 +0000 |
| commit | d911b4b15424aa283a7a309a38d0033a61f151b1 (patch) | |
| tree | 9b9a8507e596943ab0b1931271ed88d4b79b3bde /scripts/builtins.py | |
| parent | baaaed3dc16b38e9704da7c6bc0edce7f2df068b (diff) | |
use the frame's area
Diffstat (limited to 'scripts/builtins.py')
| -rw-r--r-- | scripts/builtins.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/builtins.py b/scripts/builtins.py index 69271b21..ecc70fd6 100644 --- a/scripts/builtins.py +++ b/scripts/builtins.py @@ -317,11 +317,11 @@ ob_rand = None import random def placewindows_random(data): if not data.client: return - client_area = data.client.area() + frame_area = data.client.frame.area() screen = display.screenInfo(data.screen) # XXX - USE THE FRAME'S SIZE!! - width = screen.width() - client_area.width() - height = screen.height() - client_area.height() + width = screen.width() - frame_area.width() + height = screen.height() - frame_area.height() global ob_rand if not ob_rand: ob_rand = random.Random() x = ob_rand.randrange(0, width-1) |
