From ada89aba836df06c888793426a73b5d136848921 Mon Sep 17 00:00:00 2001
From: Guido Cella <guido@guidocella.xyz>
Date: Sun, 15 Oct 2023 12:51:23 +0200
Subject: [PATCH] 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.
---
 player/lua/console.lua | 3 +--
 1 file changed, 1 insertion(+), 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