beremiz

8a702213ce51
Parents c44484c3429f
Children ef0b303d9535
Bug when try to launch wxGlade on Windows fixed
  • +6 -1
    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 @@
    </object>
    </application>
    """)
    + if wx.Platform == '__WXMSW__':
    + wxg_filename = "\"%s\""%wxg_filename
    self.launch_wxglade([wxg_filename])
    def _EditPLC(self):