Comment 4 for bug 485167

Revision history for this message
Rebecca Palmer (rebecca-palmer) wrote :

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.