unbreak zoom: remove webview.zoom_text_only property

Whenever webview.zoom_text_only is set (true or false), the
webview.zomm_level is reset. The global zoom is considered more
important, so the text-zoom is removed for now.

Author: c0dev0id

common/tokenize.list

@@ -195,7 +195,6 @@ enable_write_console_messages_to_stdout
 media_playback_allows_inline
 media_playback_requires_gesture
 pictograph_font_family
-zoom_text_only
 body
 create_element
 query

lib/domain_props.lua

@@ -94,7 +94,6 @@
 --  - `serif_font_family`
 --  - `user_agent`
 --  - `zoom_level`
---  - `zoom_text_only`
 --
 -- @module domain_props
 -- @author Mason Larobina

lib/webview.lua

@@ -700,11 +700,6 @@ local webview_settings = {
         default = 100,
         desc = "The default zoom level, as a percentage, at which to draw content.",
     },
-    ["webview.zoom_text_only"] = {
-        type = "boolean",
-        default = false,
-        desc = "Whether zooming the page should affect the size of all elements, or only the text content.",
-    },
 }
 settings.register_settings(webview_settings)
 settings.register_settings({

widgets/webview.c

@@ -142,7 +142,6 @@ static property_t webview_settings_properties[] = {
   { L_TK_SANS_SERIF_FONT_FAMILY,                    "sans-serif-font-family",                    CHAR,  TRUE },
   { L_TK_SERIF_FONT_FAMILY,                         "serif-font-family",                         CHAR,  TRUE },
   { L_TK_USER_AGENT,                                "user-agent",                                CHAR,  TRUE },
-  { L_TK_ZOOM_TEXT_ONLY,                            "zoom-text-only",                            BOOL,  TRUE },
   { 0,                                              NULL,                                        0,     0    },
 };