diff options
| author | Dana Jansens <danakj@orodu.net> | 2003-01-17 07:17:26 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2003-01-17 07:17:26 +0000 |
| commit | 884ec58ccf73777ba0ab73fb0342fbbcfb0833b9 (patch) | |
| tree | 931e6b03a8cadad569b4b9e3d8424c48820d3687 /scripts | |
| parent | a767993e8bc832a5347b952942f5d561781bd867 (diff) | |
use frame.size()
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/builtins.py | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/scripts/builtins.py b/scripts/builtins.py index 729f3a6b..50043914 100644 --- a/scripts/builtins.py +++ b/scripts/builtins.py @@ -317,12 +317,13 @@ ob_rand = None import random def placewindows_random(data): if not data.client: return - frame_area = data.client.frame.area() - print "AAAAAAAAASA " + str(frame_area.width()) + client_area = data.client.area() + frame_size = data.client.frame.size() screen = display.screenInfo(data.screen) - # XXX - USE THE FRAME'S SIZE!! - width = screen.width() - frame_area.width() - height = screen.height() - frame_area.height() + width = screen.width() - client_area.width() + \ + frame_size.left + frame_size.right + height = screen.height() - client_area.height() + \ + frame_size.top + frame_size.bottom global ob_rand if not ob_rand: ob_rand = random.Random() x = ob_rand.randrange(0, width-1) |
