diff options
| author | Jens Lidestrom | 2019-12-18 19:44:51 +0000 |
|---|---|---|
| committer | Jens Lidestrom | 2019-12-20 18:14:23 +0000 |
| commit | 1d9720c8d026ac8c066a0c92f09e1821ded543ee (patch) | |
| tree | 7fa7ad3cd3c6debbbf36c1155b8c85be4bba2fad | |
| parent | 60ebbf20635278f7d7a5d7db7601fd523ac8bab4 (diff) | |
| download | eclipse.platform.text-1d9720c8d026ac8c066a0c92f09e1821ded543ee.tar.gz eclipse.platform.text-1d9720c8d026ac8c066a0c92f09e1821ded543ee.tar.xz eclipse.platform.text-1d9720c8d026ac8c066a0c92f09e1821ded543ee.zip | |
Bug 548056 - Add space in "Show whitespace" preference labelI20191230-1800I20191229-2200I20191229-1800I20191228-1800I20191227-1800I20191226-1800I20191225-1800I20191224-1800I20191223-1800
There is no space in the GUI label between the
"Show whitespace characters" text and the "(configure visibility)"
text on GTK.
Change-Id: I74f4b747c8fc6f6de09e6549cb417bb03336f39a
Signed-off-by: Jens Lidestrom <jens@lidestrom.se>
| -rw-r--r-- | org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/TextEditorDefaultsPreferencePage.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/TextEditorDefaultsPreferencePage.java b/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/TextEditorDefaultsPreferencePage.java index a5aae89e351..ca991829a79 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/TextEditorDefaultsPreferencePage.java +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/TextEditorDefaultsPreferencePage.java @@ -48,6 +48,7 @@ import org.eclipse.swt.widgets.Text; import org.eclipse.core.runtime.Assert; import org.eclipse.core.runtime.IStatus; +import org.eclipse.core.runtime.Platform; import org.eclipse.jface.dialogs.Dialog; import org.eclipse.jface.dialogs.DialogPage; @@ -1290,7 +1291,8 @@ public class TextEditorDefaultsPreferencePage extends PreferencePage implements GridLayout layout= new GridLayout(); layout.marginHeight= 0; layout.marginWidth= 0; - layout.horizontalSpacing= 0; + // The spacing between the controls is different on GTK + layout.horizontalSpacing= Platform.WS_GTK.equals(Platform.getWS()) ? 4 : 0; layout.numColumns= 2; composite.setLayout(layout); composite.setLayoutData(gd); |