Eclipse does have per-user configuration, at $HOME/.eclipse/org.eclipse.platform_$version_$id/configuration/ ; however, I don't know if that particular setting can be changed there.
Eclipse does have per-user configuration, at $HOME/. eclipse/ org.eclipse. platform_ $version_ $id/configurati on/ ; however, I don't know if that particular setting can be changed there.