Title: [294321] trunk
Revision
294321
Author
commit-qu...@webkit.org
Date
2022-05-17 06:22:01 -0700 (Tue, 17 May 2022)

Log Message

[GTK] Build MiniBrowser by default
https://bugs.webkit.org/show_bug.cgi?id=240515

Patch by Michael Catanzaro <mcatanz...@gnome.org> on 2022-05-17
Reviewed by Philippe Normand.

* Source/cmake/OptionsGTK.cmake:

Canonical link: https://commits.webkit.org/250641@main

Modified Paths

Diff

Modified: trunk/ChangeLog (294320 => 294321)


--- trunk/ChangeLog	2022-05-17 13:13:45 UTC (rev 294320)
+++ trunk/ChangeLog	2022-05-17 13:22:01 UTC (rev 294321)
@@ -1,3 +1,12 @@
+2022-05-17  Michael Catanzaro  <mcatanz...@redhat.com>
+
+        [GTK] Build MiniBrowser by default
+        https://bugs.webkit.org/show_bug.cgi?id=240515
+
+        Reviewed by Philippe Normand.
+
+        * Source/cmake/OptionsGTK.cmake:
+
 2022-05-13  Geza Lore  <gl...@igalia.com>
 
         Add self to contributors.json

Modified: trunk/Source/cmake/OptionsGTK.cmake (294320 => 294321)


--- trunk/Source/cmake/OptionsGTK.cmake	2022-05-17 13:13:45 UTC (rev 294320)
+++ trunk/Source/cmake/OptionsGTK.cmake	2022-05-17 13:22:01 UTC (rev 294321)
@@ -92,10 +92,8 @@
 
 SET_AND_EXPOSE_TO_BUILD(ENABLE_DEVELOPER_MODE ${DEVELOPER_MODE})
 if (DEVELOPER_MODE)
-    WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_MINIBROWSER PUBLIC ON)
     WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_API_TESTS PRIVATE ON)
 else ()
-    WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_MINIBROWSER PUBLIC OFF)
     WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_API_TESTS PRIVATE OFF)
 endif ()
 
@@ -122,6 +120,7 @@
 # changing the value of the option.
 WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_DRAG_SUPPORT PUBLIC ON)
 WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_GAMEPAD PUBLIC ON)
+WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_MINIBROWSER PUBLIC ON)
 WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_PDFJS PUBLIC ON)
 WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_SPELLCHECK PUBLIC ON)
 WEBKIT_OPTION_DEFAULT_PORT_VALUE(ENABLE_TOUCH_EVENTS PUBLIC ON)
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes

Reply via email to