webkitgtk/webkitgtk-2.4.8-user-agent....

28 lines
857 B
Diff

From 050232bc122d6785fea01d39121c2f93e8dd16f1 Mon Sep 17 00:00:00 2001
From: Michael Catanzaro <mcatanzaro@igalia.com>
Date: Thu, 26 Feb 2015 16:06:36 -0600
Subject: [PATCH] Allow branding the user agent
---
Source/WebCore/platform/gtk/UserAgentGtk.cpp | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/Source/WebCore/platform/gtk/UserAgentGtk.cpp b/Source/WebCore/platform/gtk/UserAgentGtk.cpp
index 91641dc..727fbaf 100644
--- a/Source/WebCore/platform/gtk/UserAgentGtk.cpp
+++ b/Source/WebCore/platform/gtk/UserAgentGtk.cpp
@@ -84,7 +84,9 @@ static const char* cpuDescriptionForUAString()
static const char* platformForUAString()
{
-#if PLATFORM(X11)
+#if defined USER_AGENT_GTK_DISTRIBUTOR_NAME
+ return USER_AGENT_GTK_DISTRIBUTOR_NAME;
+#elif PLATFORM(X11)
return "X11";
#elif OS(WINDOWS)
return "";
--
2.1.0