CI autodeploy

Author: nadeko

manual/master/index.html

@@ -6590,7 +6590,7 @@ <h2>GPU renderer options</h2>
             This is mainly useful for benchmarking wayland VOs when combined with
             <tt class="docutils literal"><span class="pre">video-sync=display-desync</span></tt>, <tt class="docutils literal"><span class="pre">--no-audio</span></tt>, and <tt class="docutils literal"><span class="pre">--untimed=yes</span></tt>.</dd>
             <dt><tt class="docutils literal"><span class="pre">--wayland-edge-pixels-pointer=&lt;value&gt;</span></tt></dt>
-            <dd>Defines the size of an edge border (default: 10) to initiate client side
+            <dd>Defines the size of an edge border (default: 16) to initiate client side
             resize events in the wayland contexts with the mouse. This is only active if
             there are no server side decorations from the compositor.</dd>
             <dt><tt class="docutils literal"><span class="pre">--wayland-edge-pixels-touch=&lt;value&gt;</span></tt></dt>