GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-20 15:02:21 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

work around another win32 crash

Browse source
This commit is contained in:
Damien Elmes 2012-03-20 05:53:18 +09:00
parent c09ad29161
commit 24155cf337
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
aqt/editor.py
View file

@ -707,6 +707,7 @@ class Editor(object):
recent = self.mw.pm.profile['recentColours'] recent = self.mw.pm.profile['recentColours']
recent.remove(colour) recent.remove(colour)
recent.append(colour) recent.append(colour)
self.mw.app.processEvents()
self.web.eval("setFormat('forecolor', '%s')" % colour) self.web.eval("setFormat('forecolor', '%s')" % colour)
self.colourDiag.close() self.colourDiag.close()
self.colourChanged() self.colourChanged()