Christoph Heinrich 445a3561d3 console: add history deduplication ... 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.		2022-11-03 13:30:58 +01:00
..
assdraw.lua	…
auto_profiles.lua	auto_profiles.lua: don't warn if profile-restore=default	2022-01-30 15:13:10 +02:00
console.lua	console: add history deduplication	2022-11-03 13:30:58 +01:00
defaults.lua	lua: command_native_async: make the callback optional	2022-06-22 14:44:52 +03:00
options.lua	options.lua: remove unused function	2022-04-08 19:20:49 +03:00
osc.lua	osc: scale rendered aspect ratio with window aspect ratio	2022-10-06 14:34:56 -04:00
stats.lua	various: remove trailing whitespace	2022-05-14 14:51:34 +00:00
ytdl_hook.lua	ytdl_hook: reverse order of tracks	2022-11-01 09:54:33 -04:00