work around a crash on windows when adding media

This commit is contained in:
Damien Elmes 2012-03-14 01:09:06 +09:00
parent ec0f35a2e1
commit 0d3fc59917

View file

@ -736,6 +736,7 @@ class Editor(object):
def addMedia(self, path, canDelete=False): def addMedia(self, path, canDelete=False):
html = self._addMedia(path, canDelete) html = self._addMedia(path, canDelete)
self.mw.app.processEvents()
self.web.eval("setFormat('inserthtml', %s);" % simplejson.dumps(html)) self.web.eval("setFormat('inserthtml', %s);" % simplejson.dumps(html))
def _addMedia(self, path, canDelete=False): def _addMedia(self, path, canDelete=False):