comparison .settings/org.eclipse.jdt.ui.prefs @ 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 0ce5cc452d02
children
comparison
equal deleted inserted replaced
189:ab6f64d1a24a 190:dfdbc75cd45f