diff options
author | Mickael Istria | 2019-02-07 10:54:29 +0000 |
---|---|---|
committer | Mickael Istria | 2019-03-21 13:01:01 +0000 |
commit | 6cdb5e98df8b4d096eda51c6c83a0b4f0c801b3d (patch) | |
tree | 0a4518d0ddbde3d6ad7ff27f576c581993809504 /packages/org.eclipse.epp.package.javascript/plugin_customization.ini | |
parent | 545d71901771695ae7467bb876b80a3423b59c67 (diff) | |
download | org.eclipse.epp.packages-6cdb5e98df8b4d096eda51c6c83a0b4f0c801b3d.tar.gz org.eclipse.epp.packages-6cdb5e98df8b4d096eda51c6c83a0b4f0c801b3d.tar.xz org.eclipse.epp.packages-6cdb5e98df8b4d096eda51c6c83a0b4f0c801b3d.zip |
Bug 497831 - Enable whitespace markers on JS package
Change-Id: Ibe61bf97db04bbd51683e68ee499eaab4319153b
Signed-off-by: Mickael Istria <mistria@redhat.com>
Diffstat (limited to 'packages/org.eclipse.epp.package.javascript/plugin_customization.ini')
-rw-r--r-- | packages/org.eclipse.epp.package.javascript/plugin_customization.ini | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/packages/org.eclipse.epp.package.javascript/plugin_customization.ini b/packages/org.eclipse.epp.package.javascript/plugin_customization.ini index d7f05fd5..d1651d6f 100644 --- a/packages/org.eclipse.epp.package.javascript/plugin_customization.ini +++ b/packages/org.eclipse.epp.package.javascript/plugin_customization.ini @@ -30,6 +30,13 @@ org.eclipse.core.resources/refresh.lightweight.enabled=true # enable line number ruler in all textual editors by default org.eclipse.ui.editors/lineNumberRuler=true +org.eclipse.ui.editors/showCarriageReturn=false +org.eclipse.ui.editors/showEnclosedIdeographicSpaces=false +org.eclipse.ui.editors/showLeadingIdeographicSpaces=false +org.eclipse.ui.editors/showLineFeed=false +org.eclipse.ui.editors/showTrailingIdeographicSpaces=false +org.eclipse.ui.editors/showWhitespaceCharacters=true +org.eclipse.ui.editors/whitespaceCharacterAlphaValue=35 org.eclipse.ui.ide/unassociatedEditorStrategy=org.eclipse.epp.internal.mpc.ui.askMarketPlace |