comparison .metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs @ 0:8a575ba3ab52

Initial commit.
author andrewm
date Fri, 31 Oct 2014 19:10:17 +0100
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:8a575ba3ab52
1 content_assist_proposals_background=255,255,255
2 content_assist_proposals_foreground=60,60,60
3 eclipse.preferences.version=1
4 fontPropagated=true
5 org.eclipse.jdt.internal.ui.navigator.layout=2
6 org.eclipse.jdt.ui.editor.tab.width=
7 org.eclipse.jdt.ui.formatterprofiles.version=12
8 org.eclipse.jdt.ui.javadoclocations.migrated=true
9 org.eclipse.jface.textfont=1|Monospace|10.0|0|GTK|1|;
10 proposalOrderMigrated=true
11 spelling_locale_initialized=true
12 tabWidthPropagated=true
13 useAnnotationsPrefPage=true
14 useQuickDiffPrefPage=true