From 884ec58ccf73777ba0ab73fb0342fbbcfb0833b9 Mon Sep 17 00:00:00 2001 From: Dana Jansens Date: Fri, 17 Jan 2003 07:17:26 +0000 Subject: [PATCH] use frame.size() --- scripts/builtins.py | 11 ++++++----- 1 file 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) -- 2.39.2