diff res/xml/preferences.xml @ 189:ab6f64d1a24a

use floating point font size, change size by scaling factor rather than linear addition
author Carl Byington <carl@five-ten-sg.com>
date Wed, 02 Jul 2014 16:14:57 -0700
parents 69333ca1563c
children f0b9ea35711a
line wrap: on
line diff