diff -ru eclipse.platform.ui/bundles/org.eclipse.e4.ui.swt.gtk/pom.xml eclipse.platform.ui/bundles/org.eclipse.e4.ui.swt.gtk/pom.xml
--- eclipse.platform.ui/bundles/org.eclipse.e4.ui.swt.gtk/pom.xml 0000-00-00 00:00:00.000000000 +0000
+++ eclipse.platform.ui/bundles/org.eclipse.e4.ui.swt.gtk/pom.xml 0000-00-00 00:00:00.000000000 +0000
@@ -33,9 +33,9 @@
p2
- linux
+ freebsd
gtk
- x86_64
+ amd64
diff -ru eclipse.platform.ui/bundles/org.eclipse.ui.browser/plugin.xml eclipse.platform.ui/bundles/org.eclipse.ui.browser/plugin.xml
--- eclipse.platform.ui/bundles/org.eclipse.ui.browser/plugin.xml 0000-00-00 00:00:00.000000000 +0000
+++ eclipse.platform.ui/bundles/org.eclipse.ui.browser/plugin.xml 0000-00-00 00:00:00.000000000 +0000
@@ -94,7 +94,7 @@
@@ -104,28 +104,28 @@
usr/bin/google-chrome
usr/bin/chromium-browser
usr/bin/konqueror
usr/bin/epiphany
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
@@ -209,7 +209,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)
@@ -577,4 +578,4 @@
target.setTransfer(transferTypes);
target.addDropListener(listener);
}
-}
\ No newline at end of file
+}
diff -ru eclipse.platform.ui/bundles/org.eclipse.ui.themes/plugin.xml eclipse.platform.ui/bundles/org.eclipse.ui.themes/plugin.xml
--- eclipse.platform.ui/bundles/org.eclipse.ui.themes/plugin.xml 0000-00-00 00:00:00.000000000 +0000
+++ eclipse.platform.ui/bundles/org.eclipse.ui.themes/plugin.xml 0000-00-00 00:00:00.000000000 +0000
@@ -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">
+
+
+
+
-
-
-
+
+
+
+