From 27e461a897a1b3b1330e8fba25b8122cf6e9c2f4 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Mon, 8 Nov 2021 10:18:25 +0100
Subject: [PATCH] [Chromium addon] Add the Page scrolling mode to the options
 (PR 14112 follow-up)

---
 extensions/chromium/options/options.html    | 1 +
 extensions/chromium/preferences_schema.json | 5 +++--
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/extensions/chromium/options/options.html b/extensions/chromium/options/options.html
index ef4bec4d0..059e5700d 100644
--- a/extensions/chromium/options/options.html
+++ b/extensions/chromium/options/options.html
@@ -153,6 +153,7 @@ body {
     <span></span>
     <select>
       <option value="-1">Default</option>
+      <option value="3">Page scrolling</option>
       <option value="0">Vertical scrolling</option>
       <option value="1">Horizontal scrolling</option>
       <option value="2">Wrapped scrolling</option>
diff --git a/extensions/chromium/preferences_schema.json b/extensions/chromium/preferences_schema.json
index ca8ec945b..c8bd5e0c1 100644
--- a/extensions/chromium/preferences_schema.json
+++ b/extensions/chromium/preferences_schema.json
@@ -186,13 +186,14 @@
     },
     "scrollModeOnLoad": {
       "title": "Scroll mode on load",
-      "description": "Controls how the viewer scrolls upon load.\n -1 = Default (uses the last position if available/enabled).\n 0 = Vertical scrolling.\n 1 = Horizontal scrolling.\n 2 = Wrapped scrolling.",
+      "description": "Controls how the viewer scrolls upon load.\n -1 = Default (uses the last position if available/enabled).\n 3 = Page scrolling.\n 0 = Vertical scrolling.\n 1 = Horizontal scrolling.\n 2 = Wrapped scrolling.",
       "type": "integer",
       "enum": [
         -1,
         0,
         1,
-        2
+        2,
+        3
       ],
       "default": -1
     },