diff options
| author | Kurt Jaeger <pi@FreeBSD.org> | 2019-08-20 11:27:20 +0000 |
|---|---|---|
| committer | Kurt Jaeger <pi@FreeBSD.org> | 2019-08-20 11:27:20 +0000 |
| commit | 02d28e745c763f190e0175e5d5324214e9be5e5e (patch) | |
| tree | 4813bda770de1525f854b5f9bc490c1125cb349b /java/eclipse/files/patch-eclipse.platform.ui | |
| parent | ftp/curlie: Add a missing runtime dependency (diff) | |
java/eclipse: upgrade 4.11 -> 4.12
- Fallback MASTER_SITES, as git.eclipse.org is slow/unreliable.
PR: 239650
Submitted by: Jonathan Chen <jonc@chen.org.nz> (maintainer)
Relnotes: https://www.eclipse.org/eclipseide/2019-06/noteworthy/
Diffstat (limited to 'java/eclipse/files/patch-eclipse.platform.ui')
| -rw-r--r-- | java/eclipse/files/patch-eclipse.platform.ui | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/java/eclipse/files/patch-eclipse.platform.ui b/java/eclipse/files/patch-eclipse.platform.ui index 3c65c0416817..1b3c00e0ba93 100644 --- a/java/eclipse/files/patch-eclipse.platform.ui +++ b/java/eclipse/files/patch-eclipse.platform.ui @@ -61,8 +61,8 @@ diff -ru eclipse.platform.ui/bundles/org.eclipse.ui.browser/plugin.xml eclipse.p diff -ru eclipse.platform.ui/bundles/org.eclipse.ui.forms/src/org/eclipse/ui/internal/forms/widgets/TitleRegion.java eclipse.platform.ui/bundles/org.eclipse.ui.forms/src/org/eclipse/ui/internal/forms/widgets/TitleRegion.java --- eclipse.platform.ui/bundles/org.eclipse.ui.forms/src/org/eclipse/ui/internal/forms/widgets/TitleRegion.java 0000-00-00 00:00:00.000000000 +0000 +++ eclipse.platform.ui/bundles/org.eclipse.ui.forms/src/org/eclipse/ui/internal/forms/widgets/TitleRegion.java 0000-00-00 00:00:00.000000000 +0000 -@@ -206,7 +206,8 @@ - if (titleLabel.getVisible()) { +@@ -210,7 +210,8 @@ + if (currentTitleControl.getVisible()) { int tw = width - HMARGIN * 2 - SPACING * 2; String os = System.getProperty("os.name"); //$NON-NLS-1$ - if (Constants.OS_LINUX.equalsIgnoreCase(os)) { @@ -71,7 +71,7 @@ diff -ru eclipse.platform.ui/bundles/org.eclipse.ui.forms/src/org/eclipse/ui/int tw += 1; // See Bug 342610 } if (bsize != null) -@@ -543,4 +544,4 @@ +@@ -584,4 +585,4 @@ target.setTransfer(transferTypes); target.addDropListener(listener); } |