{Qingping,Dave} Hou 85b4d60efc Merge pull request #735 from chrox/ui-tweaks ...

set menu font size according to screen dpi

2013-02-05 19:40:54 -08:00

..

document

Merge pull request #735 from chrox/ui-tweaks

2013-02-05 19:40:54 -08:00

ui

Merge pull request #735 from chrox/ui-tweaks

2013-02-05 19:40:54 -08:00

cache.lua

adapt ui to loadDocument before setFont

2013-01-13 10:22:33 +08:00

settings.lua

read document configuration files from history dir

2012-12-12 09:35:49 +08:00