[gsk.git] / GestureDetectionApp / .metadata / .plugins / org.eclipse.core.runtime / .settings / org.eclipse.wst.jsdt.ui.prefs
| blob | 83f1b07520a1b65177372b811832baddfc053917 |
1 #Thu May 26 21:57:07 CEST 2011
2 useQuickDiffPrefPage=true
3 tabWidthPropagated=true
4 proposalOrderMigrated=true
5 useAnnotationsPrefPage=true
6 org.eclipse.jface.textfont=1|Courier New|10.0|0|WINDOWS|1|0|0|0|0|0|0|0|0|1|0|0|0|0|Courier New;
7 spelling_locale_initialized=true
8 org.eclipse.wst.jsdt.ui.javadoclocations.migrated=true
9 eclipse.preferences.version=1
10 org.eclipse.wst.jsdt.ui.editor.tab.width=
11 fontPropagated=true
12 org.eclipse.wst.jsdt.internal.ui.navigator.layout=1
13 org.eclipse.wst.jsdt.ui.formatterprofiles.version=11