commit c9d2cf55ee6d07101ab1f86323a0248aebc3e80f
author Nitin Dahyabhai <thatnitind@gmail.com> Mon Jul 05 00:07:38 2021 -0400
committer Nitin Dahyabhai <thatnitind@gmail.com> Mon Jul 05 00:07:38 2021 -0400
tree 3cbf93e0dbe5581bd4902fbe25363ba611225798
parent ebd4e5aaa2d93593c20f4e64a1f2ae8eea1665d2

Revert JEE print margin default to default

packages/org.eclipse.epp.package.jee/plugin_customization.ini

diff --git a/packages/org.eclipse.epp.package.jee/plugin_customization.ini b/packages/org.eclipse.epp.package.jee/plugin_customization.ini
index feb4956..c32867f 100644
--- a/packages/org.eclipse.epp.package.jee/plugin_customization.ini
+++ b/packages/org.eclipse.epp.package.jee/plugin_customization.ini
@@ -28,9 +28,8 @@
 # lightweight auto-refresh on access by default
 org.eclipse.core.resources/refresh.lightweight.enabled=true
 
-# enable line number ruler and print margin in all textual editors by default
+# enable line number in the vertical ruler in all textual editors by default
 org.eclipse.ui.editors/lineNumberRuler=true
-org.eclipse.ui.editors/printMargin=true
 
 org.eclipse.ui.ide/unassociatedEditorStrategy=org.eclipse.epp.internal.mpc.ui.askMarketPlace