diff options
| author | Dana Jansens <danakj@orodu.net> | 2003-01-23 13:48:46 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2003-01-23 13:48:46 +0000 |
| commit | bb303c74047b7d4f13b54170e1d24fbe5662e9f9 (patch) | |
| tree | 241acb5b81cd029f01192fb25ade186a703e766a /scripts | |
| parent | 8b4004ac68f9a3433e657c5903c064ba37fa6f87 (diff) | |
use the proper screen area, which excludes area taken up by struts
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/builtins.py | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/scripts/builtins.py b/scripts/builtins.py index 12998350..8bf3cd1d 100644 --- a/scripts/builtins.py +++ b/scripts/builtins.py @@ -319,15 +319,15 @@ def placewindows_random(data): if not data.client: return client_area = data.client.area() frame_size = data.client.frame.size() - screen = display.screenInfo(data.screen) - width = screen.width() - (client_area.width() + - frame_size.left + frame_size.right) - height = screen.height() - (client_area.height() + - frame_size.top + frame_size.bottom) + screen_area = openbox.screen(data.screen).area() + width = screen_area.width() - (client_area.width() + + frame_size.left + frame_size.right) + height = screen_area.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) - y = ob_rand.randrange(0, height-1) + x = ob_rand.randrange(screen_area.x(), width-1) + y = ob_rand.randrange(screen_area.y(), height-1) data.client.move(x, y) |
