font weight option should be persistent between launchings

This should fix #620.
This commit is contained in:
chrox
2014-06-04 21:54:01 +08:00
parent a9fceec193
commit 803e4e8600
4 changed files with 23 additions and 31 deletions

View File

@@ -319,9 +319,9 @@ function CreDocument:setInterlineSpacePercent(percent)
self._document:setDefaultInterlineSpace(percent)
end
function CreDocument:toggleFontBolder()
DEBUG("CreDocument: toggle font bolder")
self._document:toggleFontBolder()
function CreDocument:toggleFontBolder(toggle)
DEBUG("CreDocument: toggle font bolder", toggle)
self._document:setIntProperty("font.face.weight.embolden", toggle)
end
function CreDocument:setGammaIndex(index)