[pitivi] project: cast width and height when they are set through properties.

[Mathieu Duponchelle <mathieudu src gnome org>]

commit 17103d26c33b579fba22f7fb382f1e2dd6719a8a
Author: Mathieu Duponchelle <mathieu duponchelle epitech eu>
Date:   Fri Aug 16 21:14:15 2013 +0200

    project: cast width and height when they are set through properties.

 pitivi/project.py |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/pitivi/project.py b/pitivi/project.py
index 2aeae6b..fe7b886 100644
--- a/pitivi/project.py
+++ b/pitivi/project.py
@@ -629,6 +629,7 @@ class Project(Loggable, GES.Project):
 
     @videowidth.setter
     def videowidth(self, value):
+        value = int(value)
         if self.video_profile.get_restriction()[0]["width"] != value and value:
             self.video_profile.get_restriction()[0]["width"] = value
             self._emitChange("rendering-settings-changed", "width", value)
@@ -639,6 +640,7 @@ class Project(Loggable, GES.Project):
 
     @videoheight.setter
     def videoheight(self, value):
+        value = int(value)
         if self.video_profile.get_restriction()[0]["height"] != value and value:
             self.video_profile.get_restriction()[0]["height"] = value
             self._emitChange("rendering-settings-changed", "height", value)