GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-11-12 07:37:11 -05:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

full search disabled for now

Browse source
This commit is contained in:
Damien Elmes 2012-05-24 15:34:00 +09:00
parent bf64e67913
commit 8b614c9be6
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
aqt/browser.py
View file

@ -1100,6 +1100,8 @@ update cards set usn=?, mod=?, did=? where odid=0 and id in """ + ids2str(
self.mw.pm.profile['editFontFamily'])) self.mw.pm.profile['editFontFamily']))
frm.fontSize.setValue(self.mw.pm.profile['editFontSize']) frm.fontSize.setValue(self.mw.pm.profile['editFontSize'])
frm.lineSize.setValue(self.mw.pm.profile['editLineSize']) frm.lineSize.setValue(self.mw.pm.profile['editLineSize'])
# disabled for now
frm.fullSearch.setShown(False)
frm.fullSearch.setChecked(self.mw.pm.profile['fullSearch']) frm.fullSearch.setChecked(self.mw.pm.profile['fullSearch'])
if d.exec_(): if d.exec_():
self.mw.pm.profile['editFontFamily'] = ( self.mw.pm.profile['editFontFamily'] = (