Title: [222796] trunk/Source/WebKit
Revision
222796
Author
[email protected]
Date
2017-10-03 12:02:35 -0700 (Tue, 03 Oct 2017)

Log Message

[GTK] Prefer -webkit-system-font
https://bugs.webkit.org/show_bug.cgi?id=177814

Reviewed by Carlos Garcia Campos.

Use "font-family: -webkit-system-font" instead of "font: menu".

* UIProcess/API/gtk/WebKitRemoteInspectorProtocolHandler.cpp:
(WebKit::RemoteInspectorProtocolHandler::handleRequest): Edited HTML snippet.

Modified Paths

Diff

Modified: trunk/Source/WebKit/ChangeLog (222795 => 222796)


--- trunk/Source/WebKit/ChangeLog	2017-10-03 18:54:30 UTC (rev 222795)
+++ trunk/Source/WebKit/ChangeLog	2017-10-03 19:02:35 UTC (rev 222796)
@@ -1,3 +1,15 @@
+2017-10-03  Adrian Perez de Castro  <[email protected]>
+
+        [GTK] Prefer -webkit-system-font
+        https://bugs.webkit.org/show_bug.cgi?id=177814
+
+        Reviewed by Carlos Garcia Campos.
+
+        Use "font-family: -webkit-system-font" instead of "font: menu".
+
+        * UIProcess/API/gtk/WebKitRemoteInspectorProtocolHandler.cpp:
+        (WebKit::RemoteInspectorProtocolHandler::handleRequest): Edited HTML snippet.
+
 2017-10-03  Alex Christensen  <[email protected]>
 
         Add ObjC SPI equivalent to WKPageLoaderClient.willGoToBackForwardListItem

Modified: trunk/Source/WebKit/UIProcess/API/gtk/WebKitRemoteInspectorProtocolHandler.cpp (222795 => 222796)


--- trunk/Source/WebKit/UIProcess/API/gtk/WebKitRemoteInspectorProtocolHandler.cpp	2017-10-03 18:54:30 UTC (rev 222795)
+++ trunk/Source/WebKit/UIProcess/API/gtk/WebKitRemoteInspectorProtocolHandler.cpp	2017-10-03 19:02:35 UTC (rev 222796)
@@ -119,7 +119,7 @@
         "<meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\" />"
         "<style>"
         "  h1 { color: #babdb6; text-shadow: 0 1px 0 white; margin-bottom: 0; }"
-        "  html { font-family: menu; font-size: 11pt; color: #2e3436; padding: 20px 20px 0 20px; background-color: #f6f6f4; "
+        "  html { font-family: -webkit-system-font; font-size: 11pt; color: #2e3436; padding: 20px 20px 0 20px; background-color: #f6f6f4; "
         "         background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0, #eeeeec), color-stop(1, #f6f6f4));"
         "         background-size: 100% 5em; background-repeat: no-repeat; }"
         "  table { width: 100%; border-collapse: collapse; }"
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes

Reply via email to