diff options
| author | Guido Cella <guido@guidocella.xyz> | 2023-10-15 12:51:23 +0200 |
|---|---|---|
| committer | Dudemanguy <random342@airmail.cc> | 2023-11-02 14:58:28 +0000 |
| commit | ada89aba836df06c888793426a73b5d136848921 (patch) | |
| tree | eb1ae169cf7ea222369ccf167451f1a98586b305 /player | |
| parent | f97593dcee57b482711df83d62a4220805e2bbc7 (diff) | |
| download | mpv-ada89aba836df06c888793426a73b5d136848921.tar.bz2 mpv-ada89aba836df06c888793426a73b5d136848921.tar.xz | |
console.lua: inline mp.options
This avoids a "Redefined local `options`" LSP warning in
list_option_list() after the previous commit. It still works, but
reusing names for local variables is error-prone.
Diffstat (limited to 'player')
| -rw-r--r-- | player/lua/console.lua | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/player/lua/console.lua b/player/lua/console.lua index 5ad05c83a1..887935d5a2 100644 --- a/player/lua/console.lua +++ b/player/lua/console.lua @@ -13,7 +13,6 @@ -- CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. local utils = require 'mp.utils' -local options = require 'mp.options' local assdraw = require 'mp.assdraw' -- Default options @@ -56,7 +55,7 @@ else end -- Apply user-set options -options.read_options(opts) +require 'mp.options'.read_options(opts) local styles = { -- Colors are stolen from base16 Eighties by Chris Kempson |