use frame.size()

This commit is contained in:
Dana Jansens 2003-01-17 07:17:26 +00:00
parent a767993e8b
commit 884ec58ccf

View file

@ -317,12 +317,13 @@ ob_rand = None
import random import random
def placewindows_random(data): def placewindows_random(data):
if not data.client: return if not data.client: return
frame_area = data.client.frame.area() client_area = data.client.area()
print "AAAAAAAAASA " + str(frame_area.width()) frame_size = data.client.frame.size()
screen = display.screenInfo(data.screen) screen = display.screenInfo(data.screen)
# XXX - USE THE FRAME'S SIZE!! width = screen.width() - client_area.width() + \
width = screen.width() - frame_area.width() frame_size.left + frame_size.right
height = screen.height() - frame_area.height() height = screen.height() - client_area.height() + \
frame_size.top + frame_size.bottom
global ob_rand global ob_rand
if not ob_rand: ob_rand = random.Random() if not ob_rand: ob_rand = random.Random()
x = ob_rand.randrange(0, width-1) x = ob_rand.randrange(0, width-1)