From fc2ede033ff394c6eeda10a351a0f123792516d1 Mon Sep 17 00:00:00 2001 From: Bartek Rutkowski Date: Wed, 27 Aug 2014 14:23:57 +0000 Subject: java/eclipse: Set a default theme and external browser PR: 192696 Submitted by: Jimmy Kelley Reviewed by: swills (mentor), marino (mentor) Approved by: mentors (implicit) --- java/eclipse/files/patch-submodules | 60 +++++++++++++++++++++++++++++++++++++ 1 file changed, 60 insertions(+) (limited to 'java/eclipse/files/patch-submodules') diff --git a/java/eclipse/files/patch-submodules b/java/eclipse/files/patch-submodules index 74bd1f094a34..2d71566cce74 100644 --- a/java/eclipse/files/patch-submodules +++ b/java/eclipse/files/patch-submodules @@ -2457,3 +2457,63 @@ index b3ed6f8..7544d34 100644 +--- a/eclipse.platform/platform/org.eclipse.platform/plugin.xml.orig 2014-06-05 16:12:04.000000000 -0500 ++++ b/eclipse.platform/platform/org.eclipse.platform/plugin.xml 2014-08-01 17:23:26.000000000 -0500 +@@ -141,6 +141,12 @@ + basestylesheeturi="css/e4_default_gtk.css" + id="org.eclipse.e4.ui.css.theme.e4_default" + label="%theme.gtk" ++ os="freebsd"> ++ ++ + + ++ os="win32,freebsd,linux,macosx,solaris"> + + +--- a/eclipse.platform.ui/bundles/org.eclipse.ui.browser/plugin.xml.orig 2014-06-05 17:09:12.000000000 -0500 ++++ b/eclipse.platform.ui/bundles/org.eclipse.ui.browser/plugin.xml 2014-08-01 19:58:51.000000000 -0500 +@@ -83,6 +83,17 @@ + + + ++ ++ ++ ++ usr/local/bin/firefox ++ ++ + + + ++ ++ -- cgit v1.2.3