HomePhabricator
Diffusion MITK 14d903f8e4ee

added new font selection feature in themes preference page. todo: make the font…

Description

added new font selection feature in themes preference page. todo: make the font choice persistent.

Details

Provenance
kirchnthAuthored on Jan 20 2017, 4:53 PM
kirchnthPushed on Jan 20 2017, 4:51 PM
Parents
rMITKfbaaa0408054: a variety of style changes and fixes
Branches
Unknown
Tags
Unknown