mirror of https://github.com/mpv-player/mpv
445a3561d3
Deduplicate history like the fish shell. So for example entering "cmd 1" then "cmd 2" then "cmd 3" then "cmd 1" would result in a history of [cmd 2][cmd 3][cmd 1] instead of [cmd 1][cmd 2][cmd 3][cmd 1] Adds a function `history_add` to replace directly adding to history. Adds an option `history_dedup` to activate the deduplication. Defaults to on. |
||
---|---|---|
.. | ||
man | ||
build-system-differences.md | ||
client-api-changes.rst | ||
compatibility.rst | ||
compile-windows.md | ||
contribute.md | ||
edl-mpv.rst | ||
encoding.rst | ||
interface-changes.rst | ||
mplayer-changes.rst | ||
release-policy.md | ||
tech-overview.txt | ||
waf-buildsystem.rst |