comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 7515:44d92b447951

removed name of shared formatter profile
author Doug Simon <doug.simon@oracle.com>
date Tue, 22 Jan 2013 20:04:42 +0100
parents 04ebcabcba4f
children 1d804095d410
comparison
equal deleted inserted replaced
7514:6bf569d50989 7515:44d92b447951
56 comment_line_length=120 56 comment_line_length=120
57 comment_new_line_for_parameter=true 57 comment_new_line_for_parameter=true
58 comment_separate_root_tags=true 58 comment_separate_root_tags=true
59 eclipse.preferences.version=1 59 eclipse.preferences.version=1
60 editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true 60 editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true
61 formatter_profile=_MaxineJavaCodeStyle
62 formatter_settings_version=11 61 formatter_settings_version=11
63 org.eclipse.jdt.ui.exception.name=e 62 org.eclipse.jdt.ui.exception.name=e
64 org.eclipse.jdt.ui.gettersetter.use.is=true 63 org.eclipse.jdt.ui.gettersetter.use.is=true
65 org.eclipse.jdt.ui.ignorelowercasenames=true 64 org.eclipse.jdt.ui.ignorelowercasenames=true
66 org.eclipse.jdt.ui.importorder=java;javax;org;com; 65 org.eclipse.jdt.ui.importorder=java;javax;org;com;