diff options
| author | Guido Cella <guido@guidocella.xyz> | 2023-03-11 11:25:26 +0100 |
|---|---|---|
| committer | Dudemanguy <random342@airmail.cc> | 2023-04-26 16:30:01 +0000 |
| commit | c5211dbf4ae38583b4a55ab63c5c07f8547f73b8 (patch) | |
| tree | 5ef7d88b5863d817010205eef8e04023eebff166 /player | |
| parent | 4fd0a39fc8aad3fb8d7bb8ed2b2918e1e0e7a53b (diff) | |
| download | mpv-c5211dbf4ae38583b4a55ab63c5c07f8547f73b8.tar.bz2 mpv-c5211dbf4ae38583b4a55ab63c5c07f8547f73b8.tar.xz | |
console.lua: add a script-opt for the border size
Because I find the console log easier to read with a thicker border.
Diffstat (limited to 'player')
| -rw-r--r-- | player/lua/console.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/player/lua/console.lua b/player/lua/console.lua index 6928cd83b7..616dd53761 100644 --- a/player/lua/console.lua +++ b/player/lua/console.lua @@ -27,6 +27,7 @@ local opts = { -- Set the font size used for the REPL and the console. This will be -- multiplied by "scale". font_size = 16, + border_size = 1, -- Remove duplicate entries in history as to only keep the latest one. history_dedup = true, } @@ -144,7 +145,7 @@ function update() '\\1a&H00&\\3a&H00&\\4a&H99&' .. '\\1c&Heeeeee&\\3c&H111111&\\4c&H000000&' .. '\\fn' .. opts.font .. '\\fs' .. opts.font_size .. - '\\bord1\\xshad0\\yshad1\\fsp0\\q1' .. + '\\bord' .. opts.border_size .. '\\xshad0\\yshad1\\fsp0\\q1' .. '\\clip(' .. clipping_coordinates .. ')}' -- Create the cursor glyph as an ASS drawing. ASS will draw the cursor -- inline with the surrounding text, but it sets the advance to the width |