diff -r be969d4694c7 -r 5b1fa0e06284 plugins/svgui/svgui.py
--- a/plugins/svgui/svgui.py	Mon Jun 30 17:38:28 2008 +0200
+++ b/plugins/svgui/svgui.py	Tue Jul 01 09:00:40 2008 +0200
@@ -183,8 +183,13 @@
         
         doc = SVGDocument(self.GetSVGFilePath())
         root_element = doc.GetRootElement()
-        window_size = (int(root_element.GetAttribute("width")),
-                       int(root_element.GetAttribute("height")))
+        window_size = (int(float(root_element.GetAttribute("width"))),
+                       int(float(root_element.GetAttribute("height"))))
+
+##        svgfilepath = self.GetSVGFilePath()
+##        xmlfilepath = self.GetFilePath()
+##        shutil.copy(svgfilepath, buildpath)
+##        shutil.copy(xmlfilepath, buildpath)
         
         generator = _SVGUICGenerator(self.GetElementsByType(), self.GetSVGFilePath(), self.GetFilePath(), self.GetCurrentLocation())
         generator.GenerateProgram(window_size, buildpath, progname)