diff options
author | Andrey Loskutov | 2019-11-21 13:08:57 +0000 |
---|---|---|
committer | Mickael Istria | 2019-11-21 15:14:06 +0000 |
commit | 949794765176a44045b169c2184026c3e425f151 (patch) | |
tree | 7f123620e1c42a3ca7579e6671d107af33af187d /org.eclipse.ui.editors | |
parent | f5e1eb919c96d556117e1d3b821baa6dbd7f47ec (diff) | |
download | eclipse.platform.text-949794765176a44045b169c2184026c3e425f151.tar.gz eclipse.platform.text-949794765176a44045b169c2184026c3e425f151.tar.xz eclipse.platform.text-949794765176a44045b169c2184026c3e425f151.zip |
Bug 553309 - Default editor print margin is set to 50 (instead of 80)
This reverts commit 4fd07bfb4de9ce993173aa1d8d752ca27c8537e0 that was
supposed to be "Bug 552379 - Reduce default weight/alpha of whitespace
characters" but did something completely different.
Change-Id: I02b5e3118d1056883cef493949bfa2a1f860b5e3
Diffstat (limited to 'org.eclipse.ui.editors')
-rw-r--r-- | org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditorPreferenceConstants.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditorPreferenceConstants.java b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditorPreferenceConstants.java index 9aba18eb126..572644e6341 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditorPreferenceConstants.java +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditorPreferenceConstants.java @@ -724,7 +724,7 @@ public class AbstractDecoratedTextEditorPreferenceConstants { store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_UNDO_HISTORY_SIZE, 200); store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN, false); - store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLUMN, 50); + store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLUMN, 80); store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_ALLOW_OVERRIDE, false); store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER, false); |