Cast to int where necessary

This commit is contained in:
Marco Pesenti Gritti 2006-06-14 22:08:18 -04:00
parent a4b2e74d25
commit 4eaa096576

View File

@ -90,19 +90,19 @@ class WindowManager:
if self._width_type is WindowManager.ABSOLUTE: if self._width_type is WindowManager.ABSOLUTE:
width = self._width width = self._width
elif self._width_type is WindowManager.SCREEN_RELATIVE: elif self._width_type is WindowManager.SCREEN_RELATIVE:
width = screen_width * self._width width = int(screen_width * self._width)
if self._height_type is WindowManager.ABSOLUTE: if self._height_type is WindowManager.ABSOLUTE:
height = self._height height = self._height
elif self._height_type is WindowManager.SCREEN_RELATIVE: elif self._height_type is WindowManager.SCREEN_RELATIVE:
height = screen_height * self._height height = int(screen_height * self._height)
if self._position is WindowManager.CENTER: if self._position is WindowManager.CENTER:
x = (screen_width - width) / 2 x = int((screen_width - width) / 2)
y = (screen_height - height) / 2 y = int((screen_height - height) / 2)
elif self._position is WindowManager.LEFT: elif self._position is WindowManager.LEFT:
x = 0 x = 0
y = (screen_height - height) / 2 y = int((screen_height - height) / 2)
self._window.move(x, y) self._window.move(x, y)
self._window.resize(width, height) self._window.resize(width, height)