summaryrefslogtreecommitdiff
path: root/jeu-test/Lemmini/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs
blob: 9ce50fbb4f7e4e72345512f5fcd96fc0a1f47173 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#Sat Nov 06 20:00:22 CET 2010
useQuickDiffPrefPage=true
proposalOrderMigrated=true
tabWidthPropagated=true
content_assist_proposals_background=255,255,255
org.eclipse.jdt.ui.javadoclocations.migrated=true
useAnnotationsPrefPage=true
org.eclipse.jface.textfont=1|Monospace|10.0|0|GTK|1|;
org.eclipse.jdt.ui.editor.tab.width=
org.eclipse.jdt.ui.formatterprofiles.version=11
spelling_locale_initialized=true
eclipse.preferences.version=1
content_assist_proposals_foreground=26,26,26
fontPropagated=true