diff -r c44484c3429f -r 8a702213ce51 plugger.py --- a/plugger.py Tue Jan 20 15:04:41 2009 +0100 +++ b/plugger.py Tue Jan 20 17:02:25 2009 +0100 @@ -1019,7 +1019,10 @@ wxgfile=self._getWXGLADEpath() if os.path.exists(wxgfile): hmipyfile=os.path.join(self._getBuildPath(),"hmi.py") - self.launch_wxglade(['-o', hmipyfile, '-g','python', wxgfile], wait=True) + if wx.Platform == '__WXMSW__': + wxgfile = "\"%s\""%wxgfile + hmipyfile = "\"%s\""%hmipyfile + self.launch_wxglade(['-o', hmipyfile, '-g', 'python', wxgfile], wait=True) res += (("hmi.py", file(hmipyfile,"rb")),) return res @@ -1324,6 +1327,8 @@ """) + if wx.Platform == '__WXMSW__': + wxg_filename = "\"%s\""%wxg_filename self.launch_wxglade([wxg_filename]) def _EditPLC(self):