@@ -4369,8 +4369,7 @@ <h2>Window</h2>
43694369<dt><tt class="docutils literal"><span class="pre">--snap-window</span></tt></dt>
43704370<dd>(Windows only) Snap the player window to screen edges.</dd>
43714371<dt><tt class="docutils literal"><span class="pre">--drag-and-drop=<no|auto|replace|append></span></tt></dt>
4372- <dd>(X11, Wayland and Windows only)
4373- Controls the default behavior of drag and drop on platforms that support this.
4372+ <dd>Controls the default behavior of drag and drop on platforms that support this.
43744373<tt class="docutils literal">auto</tt> will obey what the underlying os/platform gives mpv. Typically, holding
43754374shift during the drag and drop will append the item to the playlist. Otherwise,
43764375it will completely replace it. <tt class="docutils literal">replace</tt> and <tt class="docutils literal">append</tt> always force replacing
@@ -14509,6 +14508,10 @@ <h3>Configurable Options</h3>
1450914508<dd><p class="first">Default: 1</p>
1451014509<p class="last">Set the font border size used for the REPL and the console.</p>
1451114510</dd>
14511+ <dt><tt class="docutils literal">case_sensitive</tt></dt>
14512+ <dd><p class="first">Default: no on Windows, yes on other platforms.</p>
14513+ <p class="last">Whether Tab completion is case sensitive. Only works with ASCII characters.</p>
14514+ </dd>
1451214515<dt><tt class="docutils literal">history_dedup</tt></dt>
1451314516<dd><p class="first">Default: true</p>
1451414517<p class="last">Remove duplicate entries in history as to only keep the latest one.
0 commit comments