- # 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)