GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-25 01:06:35 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

add lastColour to profile

Browse source
This commit is contained in:
Damien Elmes 2012-04-22 10:54:49 +09:00
parent 2cd7240fd2
commit 830d8ead25
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
aqt/profiles.py
View file

@ -37,11 +37,12 @@ profileConf = dict(
# editing # editing
fullSearch=False, fullSearch=False,
searchHistory=[], searchHistory=[],
recentColours=["#000000", "#0000ff"], lastColour="#00f",
stripHTML=True, stripHTML=True,
editFontFamily=fontForPlatform(), editFontFamily=fontForPlatform(),
editFontSize=12, editFontSize=12,
editLineSize=20, editLineSize=20,
# not exposed in gui
deleteMedia=False, deleteMedia=False,
preserveKeyboard=True, preserveKeyboard=True,