--- 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">
+
+
+
+
-
-
+
+
+