From 420e79c7f16892baf7d6080043d80390382d3034 Mon Sep 17 00:00:00 2001 From: s441433 Date: Sun, 6 Jan 2019 17:06:05 +0100 Subject: [PATCH] Create org.eclipse.jdt.ui.prefs --- .../.settings/org.eclipse.jdt.ui.prefs | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 apka_StolowkaZPM/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs diff --git a/apka_StolowkaZPM/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs b/apka_StolowkaZPM/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs new file mode 100644 index 0000000..ff73677 --- /dev/null +++ b/apka_StolowkaZPM/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs @@ -0,0 +1,13 @@ +content_assist_proposals_background=255,255,255 +content_assist_proposals_foreground=0,0,0 +eclipse.preferences.version=1 +fontPropagated=true +org.eclipse.jdt.ui.editor.tab.width= +org.eclipse.jdt.ui.formatterprofiles.version=12 +org.eclipse.jdt.ui.javadoclocations.migrated=true +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; +proposalOrderMigrated=true +spelling_locale_initialized=true +tabWidthPropagated=true +useAnnotationsPrefPage=true +useQuickDiffPrefPage=true