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