Mercurial > hg > truffle
changeset 7526:1d804095d410
gave formatter profile the name "Graal"
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Wed, 23 Jan 2013 14:13:49 +0100 |
parents | 0763105fa02c |
children | 2232848be438 |
files | mx/eclipse-settings/org.eclipse.jdt.ui.prefs |
diffstat | 1 files changed, 2 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/mx/eclipse-settings/org.eclipse.jdt.ui.prefs Wed Jan 23 14:13:23 2013 +0100 +++ b/mx/eclipse-settings/org.eclipse.jdt.ui.prefs Wed Jan 23 14:13:49 2013 +0100 @@ -58,7 +58,8 @@ comment_separate_root_tags=true eclipse.preferences.version=1 editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true -formatter_settings_version=11 +formatter_profile=_Graal +formatter_settings_version=12 org.eclipse.jdt.ui.exception.name=e org.eclipse.jdt.ui.gettersetter.use.is=true org.eclipse.jdt.ui.ignorelowercasenames=true