From 4d94d2d2e6aa43cb478748aa093c9054de67914a Mon Sep 17 00:00:00 2001 From: NunoSempere Date: Fri, 6 Oct 2023 15:55:37 +0100 Subject: [PATCH] rename WEBKIT_SETTINGS var to not conflict with webkitgtk --- config.h | 6 ++++-- rose.c | 2 +- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/config.h b/config.h index 153822f..5835581 100644 --- a/config.h +++ b/config.h @@ -2,8 +2,10 @@ #include /* See more: - * https://webkitgtk.org/reference/webkit2gtk/stable/class.Settings.html */ -#define WEBKIT \ + * https://webkitgtk.org/reference/webkit2gtk/stable/class.Settings.html + * +*/ +#define WEBKIT_DEFAULT_SETTINGS \ "enable-back-forward-navigation-gestures", true, "enable-developer-extras", true, \ "enable-smooth-scrolling", false, \ "default-charset", "utf-8" diff --git a/rose.c b/rose.c index 142544c..bead302 100644 --- a/rose.c +++ b/rose.c @@ -55,7 +55,7 @@ WebKitWebView* webview_new() WebKitCookieManager* cookiemanager; WebKitUserContentManager* contentmanager; - settings = webkit_settings_new_with_settings(WEBKIT, NULL); + settings = webkit_settings_new_with_settings(WEBKIT_DEFAULT_SETTINGS, NULL); if (CUSTOM_USER_AGENT) { webkit_settings_set_user_agent( settings,