OSDN Git Service

コミット2回目
[vaadinsampleproject/Vaadin_Example_Project.git] / Vaadin8 / workspace_02 / .metadata / .plugins / org.eclipse.core.runtime / .settings / org.eclipse.ui.editors.prefs
index 91fee9a..1e9b5b9 100644 (file)
@@ -1,16 +1,11 @@
-additionIndicationInOverviewRuler=true
-eclipse.preferences.version=1
-glanceColorBackground=0,255,0
-lineNumberRuler=true
-occurrenceIndicationColor=0,255,255
-overviewRuler_migration=migrated_3.1
-printMargin=true
-printMarginColumn=120
-quickdiff.defaultProvider=org.eclipse.egit.ui.internal.decorators.GitQuickDiffProvider
-showEnclosedSpaces=false
-showLeadingSpaces=false
-showTrailingSpaces=false
-showWhitespaceCharacters=true
-spellingEnabled=false
-whitespaceCharacterAlphaValue=60
-writeOccurrenceIndicationColor=0,255,64
+additionIndicationInOverviewRuler=true\r
+eclipse.preferences.version=1\r
+glanceColorBackground=0,255,0\r
+lineNumberRuler=true\r
+overviewRuler_migration=migrated_3.1\r
+printMargin=true\r
+printMarginColumn=120\r
+quickdiff.defaultProvider=org.eclipse.egit.ui.internal.decorators.GitQuickDiffProvider\r
+showWhitespaceCharacters=true\r
+spellingEnabled=false\r
+whitespaceCharacterAlphaValue=60\r