diff res/xml/preferences.xml @ 190:dfdbc75cd45f

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:23:21 -0700
parents 69333ca1563c
children f0b9ea35711a
line wrap: on
line diff