--- eclipse.platform.ui/bundles/org.eclipse.e4.ui.swt.gtk/pom.xml.orig 2020-06-03 13:17:27.000000000 +0200 +++ eclipse.platform.ui/bundles/org.eclipse.e4.ui.swt.gtk/pom.xml 2021-03-08 20:18:47.351392000 +0100 @@ -33,9 +33,9 @@ p2 - linux + freebsd gtk - x86_64 + amd64 --- eclipse.platform.ui/bundles/org.eclipse.ui.browser/plugin.xml.orig 2020-06-03 13:17:27.000000000 +0200 +++ eclipse.platform.ui/bundles/org.eclipse.ui.browser/plugin.xml 2021-03-08 20:18:47.351814000 +0100 @@ -94,7 +94,7 @@ @@ -104,28 +104,28 @@ usr/bin/google-chrome usr/bin/chromium-browser usr/bin/konqueror usr/bin/epiphany --- eclipse.platform.ui/bundles/org.eclipse.ui.forms/src/org/eclipse/ui/internal/forms/widgets/TitleRegion.java.orig 2020-06-03 13:17:27.000000000 +0200 +++ eclipse.platform.ui/bundles/org.eclipse.ui.forms/src/org/eclipse/ui/internal/forms/widgets/TitleRegion.java 2021-03-08 20:18:47.352410000 +0100 @@ -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)) { + if (Constants.OS_LINUX.equalsIgnoreCase(os) || + Constants.OS_FREEBSD.equalsIgnoreCase(os)) { tw += 1; // See Bug 342610 } if (bsize != null) @@ -584,4 +585,4 @@ target.setTransfer(transferTypes); target.addDropListener(listener); } -} \ No newline at end of file +} --- eclipse.platform.ui/bundles/org.eclipse.ui.themes/plugin.xml.orig 2020-06-03 13:17:27.000000000 +0200 +++ eclipse.platform.ui/bundles/org.eclipse.ui.themes/plugin.xml 2021-03-08 20:18:47.352793000 +0100 @@ -12,7 +12,7 @@ basestylesheeturi="css/e4-dark_linux.css" id="org.eclipse.e4.ui.css.theme.e4_dark" label="%theme.dark" - os="linux"> + os="freebsd"> + os="freebsd"> + + + + - - + + +