comparison tests/.settings/org.eclipse.jdt.ui.prefs @ 433:3e25a713555d stable-1.9.1

fix alignment problem on very high res screens
author Carl Byington <carl@five-ten-sg.com>
date Mon, 09 Mar 2015 16:28:31 -0700
parents 0ce5cc452d02
children
comparison
equal deleted inserted replaced
432:56d1dbfa6972 433:3e25a713555d