2019-12-07 16:16:10 +00:00
|
|
|
-- Copyright (C) 2019 the mpv developers
|
|
|
|
--
|
|
|
|
-- Permission to use, copy, modify, and/or distribute this software for any
|
|
|
|
-- purpose with or without fee is hereby granted, provided that the above
|
|
|
|
-- copyright notice and this permission notice appear in all copies.
|
|
|
|
--
|
|
|
|
-- THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
|
|
|
|
-- WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
|
|
|
-- MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
|
|
|
|
-- SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
|
|
|
-- WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
|
|
|
|
-- OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
|
|
|
|
-- 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
|
|
|
|
local opts = {
|
|
|
|
-- All drawing is scaled by this value, including the text borders and the
|
|
|
|
-- cursor. Change it if you have a high-DPI display.
|
|
|
|
scale = 1,
|
|
|
|
-- Set the font used for the REPL and the console. This probably doesn't
|
|
|
|
-- have to be a monospaced font.
|
|
|
|
font = "",
|
|
|
|
-- Set the font size used for the REPL and the console. This will be
|
2022-06-18 01:29:32 +00:00
|
|
|
-- multiplied by "scale".
|
2019-12-07 16:16:10 +00:00
|
|
|
font_size = 16,
|
2023-03-11 10:25:26 +00:00
|
|
|
border_size = 1,
|
2022-06-18 01:29:32 +00:00
|
|
|
-- Remove duplicate entries in history as to only keep the latest one.
|
|
|
|
history_dedup = true,
|
2019-12-07 16:16:10 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
function detect_platform()
|
2022-01-23 05:29:28 +00:00
|
|
|
local platform = mp.get_property_native('platform')
|
|
|
|
if platform == 'darwin' or platform == 'windows' then
|
|
|
|
return platform
|
2020-12-14 19:18:55 +00:00
|
|
|
elseif os.getenv('WAYLAND_DISPLAY') then
|
|
|
|
return 'wayland'
|
2019-12-07 16:16:10 +00:00
|
|
|
end
|
|
|
|
return 'x11'
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Pick a better default font for Windows and macOS
|
|
|
|
local platform = detect_platform()
|
|
|
|
if platform == 'windows' then
|
|
|
|
opts.font = 'Consolas'
|
2022-01-23 05:29:28 +00:00
|
|
|
elseif platform == 'darwin' then
|
2019-12-07 16:16:10 +00:00
|
|
|
opts.font = 'Menlo'
|
|
|
|
else
|
|
|
|
opts.font = 'monospace'
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Apply user-set options
|
|
|
|
options.read_options(opts)
|
|
|
|
|
|
|
|
local repl_active = false
|
|
|
|
local insert_mode = false
|
|
|
|
local pending_update = false
|
|
|
|
local line = ''
|
|
|
|
local cursor = 1
|
|
|
|
local history = {}
|
|
|
|
local history_pos = 1
|
|
|
|
local log_buffer = {}
|
|
|
|
local key_bindings = {}
|
2023-01-28 21:27:24 +00:00
|
|
|
local global_margins = { t = 0, b = 0 }
|
2019-12-07 16:16:10 +00:00
|
|
|
|
|
|
|
local update_timer = nil
|
|
|
|
update_timer = mp.add_periodic_timer(0.05, function()
|
|
|
|
if pending_update then
|
|
|
|
update()
|
|
|
|
else
|
|
|
|
update_timer:kill()
|
|
|
|
end
|
|
|
|
end)
|
|
|
|
update_timer:kill()
|
|
|
|
|
2023-01-28 21:27:24 +00:00
|
|
|
mp.observe_property("user-data/osc/margins", "native", function(_, val)
|
2019-12-18 08:04:15 +00:00
|
|
|
if val then
|
2023-01-28 21:27:24 +00:00
|
|
|
global_margins = val
|
2019-12-18 08:04:15 +00:00
|
|
|
else
|
2023-01-28 21:27:24 +00:00
|
|
|
global_margins = { t = 0, b = 0 }
|
2019-12-18 08:04:15 +00:00
|
|
|
end
|
|
|
|
update()
|
|
|
|
end)
|
|
|
|
|
2019-12-07 16:16:10 +00:00
|
|
|
-- Add a line to the log buffer (which is limited to 100 lines)
|
|
|
|
function log_add(style, text)
|
|
|
|
log_buffer[#log_buffer + 1] = { style = style, text = text }
|
|
|
|
if #log_buffer > 100 then
|
|
|
|
table.remove(log_buffer, 1)
|
|
|
|
end
|
|
|
|
|
|
|
|
if repl_active then
|
|
|
|
if not update_timer:is_enabled() then
|
|
|
|
update()
|
|
|
|
update_timer:resume()
|
|
|
|
else
|
|
|
|
pending_update = true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Escape a string for verbatim display on the OSD
|
|
|
|
function ass_escape(str)
|
|
|
|
-- There is no escape for '\' in ASS (I think?) but '\' is used verbatim if
|
|
|
|
-- it isn't followed by a recognised character, so add a zero-width
|
|
|
|
-- non-breaking space
|
|
|
|
str = str:gsub('\\', '\\\239\187\191')
|
|
|
|
str = str:gsub('{', '\\{')
|
|
|
|
str = str:gsub('}', '\\}')
|
|
|
|
-- Precede newlines with a ZWNBSP to prevent ASS's weird collapsing of
|
|
|
|
-- consecutive newlines
|
|
|
|
str = str:gsub('\n', '\239\187\191\\N')
|
2019-12-24 15:04:00 +00:00
|
|
|
-- Turn leading spaces into hard spaces to prevent ASS from stripping them
|
|
|
|
str = str:gsub('\\N ', '\\N\\h')
|
|
|
|
str = str:gsub('^ ', '\\h')
|
2019-12-07 16:16:10 +00:00
|
|
|
return str
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Render the REPL and console as an ASS OSD
|
|
|
|
function update()
|
|
|
|
pending_update = false
|
|
|
|
|
2019-12-20 11:53:56 +00:00
|
|
|
local dpi_scale = mp.get_property_native("display-hidpi-scale", 1.0)
|
|
|
|
|
|
|
|
dpi_scale = dpi_scale * opts.scale
|
|
|
|
|
2019-12-07 16:16:10 +00:00
|
|
|
local screenx, screeny, aspect = mp.get_osd_size()
|
2019-12-20 11:53:56 +00:00
|
|
|
screenx = screenx / dpi_scale
|
|
|
|
screeny = screeny / dpi_scale
|
2019-12-07 16:16:10 +00:00
|
|
|
|
|
|
|
-- Clear the OSD if the REPL is not active
|
|
|
|
if not repl_active then
|
|
|
|
mp.set_osd_ass(screenx, screeny, '')
|
|
|
|
return
|
|
|
|
end
|
|
|
|
|
2023-01-28 21:27:24 +00:00
|
|
|
local coordinate_top = math.floor(global_margins.t * screeny + 0.5)
|
2022-09-02 20:24:36 +00:00
|
|
|
local clipping_coordinates = '0,' .. coordinate_top .. ',' ..
|
|
|
|
screenx .. ',' .. screeny
|
2019-12-07 16:16:10 +00:00
|
|
|
local ass = assdraw.ass_new()
|
|
|
|
local style = '{\\r' ..
|
|
|
|
'\\1a&H00&\\3a&H00&\\4a&H99&' ..
|
|
|
|
'\\1c&Heeeeee&\\3c&H111111&\\4c&H000000&' ..
|
|
|
|
'\\fn' .. opts.font .. '\\fs' .. opts.font_size ..
|
2023-03-11 10:25:26 +00:00
|
|
|
'\\bord' .. opts.border_size .. '\\xshad0\\yshad1\\fsp0\\q1' ..
|
2022-09-02 20:24:36 +00:00
|
|
|
'\\clip(' .. clipping_coordinates .. ')}'
|
2019-12-07 16:16:10 +00:00
|
|
|
-- 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
|
|
|
|
-- of the drawing. So the cursor doesn't affect layout too much, make it as
|
|
|
|
-- thin as possible and make it appear to be 1px wide by giving it 0.5px
|
|
|
|
-- horizontal borders.
|
|
|
|
local cheight = opts.font_size * 8
|
|
|
|
local cglyph = '{\\r' ..
|
|
|
|
'\\1a&H44&\\3a&H44&\\4a&H99&' ..
|
|
|
|
'\\1c&Heeeeee&\\3c&Heeeeee&\\4c&H000000&' ..
|
|
|
|
'\\xbord0.5\\ybord0\\xshad0\\yshad1\\p4\\pbo24}' ..
|
|
|
|
'm 0 0 l 1 0 l 1 ' .. cheight .. ' l 0 ' .. cheight ..
|
|
|
|
'{\\p0}'
|
|
|
|
local before_cur = ass_escape(line:sub(1, cursor - 1))
|
|
|
|
local after_cur = ass_escape(line:sub(cursor))
|
|
|
|
|
|
|
|
-- Render log messages as ASS. This will render at most screeny / font_size
|
|
|
|
-- messages.
|
|
|
|
local log_ass = ''
|
|
|
|
local log_messages = #log_buffer
|
2023-01-28 21:27:24 +00:00
|
|
|
local screeny_factor = (1 - global_margins.t - global_margins.b)
|
2022-09-02 20:24:36 +00:00
|
|
|
-- subtract 1.5 to account for the input line
|
|
|
|
local log_max_lines = screeny * screeny_factor / opts.font_size - 1.5
|
|
|
|
log_max_lines = math.ceil(log_max_lines)
|
2019-12-07 16:16:10 +00:00
|
|
|
if log_max_lines < log_messages then
|
|
|
|
log_messages = log_max_lines
|
|
|
|
end
|
|
|
|
for i = #log_buffer - log_messages + 1, #log_buffer do
|
|
|
|
log_ass = log_ass .. style .. log_buffer[i].style .. ass_escape(log_buffer[i].text)
|
|
|
|
end
|
|
|
|
|
|
|
|
ass:new_event()
|
|
|
|
ass:an(1)
|
2023-01-28 21:27:24 +00:00
|
|
|
ass:pos(2, screeny - 2 - global_margins.b * screeny)
|
2019-12-07 16:16:10 +00:00
|
|
|
ass:append(log_ass .. '\\N')
|
|
|
|
ass:append(style .. '> ' .. before_cur)
|
|
|
|
ass:append(cglyph)
|
|
|
|
ass:append(style .. after_cur)
|
|
|
|
|
|
|
|
-- Redraw the cursor with the REPL text invisible. This will make the
|
|
|
|
-- cursor appear in front of the text.
|
|
|
|
ass:new_event()
|
|
|
|
ass:an(1)
|
2023-01-28 21:27:24 +00:00
|
|
|
ass:pos(2, screeny - 2 - global_margins.b * screeny)
|
2019-12-07 16:16:10 +00:00
|
|
|
ass:append(style .. '{\\alpha&HFF&}> ' .. before_cur)
|
|
|
|
ass:append(cglyph)
|
|
|
|
ass:append(style .. '{\\alpha&HFF&}' .. after_cur)
|
|
|
|
|
|
|
|
mp.set_osd_ass(screenx, screeny, ass.text)
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Set the REPL visibility ("enable", Esc)
|
|
|
|
function set_active(active)
|
|
|
|
if active == repl_active then return end
|
|
|
|
if active then
|
|
|
|
repl_active = true
|
|
|
|
insert_mode = false
|
|
|
|
mp.enable_key_bindings('console-input', 'allow-hide-cursor+allow-vo-dragging')
|
|
|
|
mp.enable_messages('terminal-default')
|
|
|
|
define_key_bindings()
|
|
|
|
else
|
|
|
|
repl_active = false
|
|
|
|
undefine_key_bindings()
|
|
|
|
mp.enable_messages('silent:terminal-default')
|
2020-04-10 11:36:10 +00:00
|
|
|
collectgarbage()
|
2019-12-07 16:16:10 +00:00
|
|
|
end
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Show the repl if hidden and replace its contents with 'text'
|
|
|
|
-- (script-message-to repl type)
|
2020-03-27 13:46:39 +00:00
|
|
|
function show_and_type(text, cursor_pos)
|
2019-12-07 16:16:10 +00:00
|
|
|
text = text or ''
|
2020-03-27 13:46:39 +00:00
|
|
|
cursor_pos = tonumber(cursor_pos)
|
2019-12-07 16:16:10 +00:00
|
|
|
|
|
|
|
-- Save the line currently being edited, just in case
|
|
|
|
if line ~= text and line ~= '' and history[#history] ~= line then
|
2022-06-18 01:29:32 +00:00
|
|
|
history_add(line)
|
2019-12-07 16:16:10 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
line = text
|
2020-03-27 13:46:39 +00:00
|
|
|
if cursor_pos ~= nil and cursor_pos >= 1
|
|
|
|
and cursor_pos <= line:len() + 1 then
|
|
|
|
cursor = math.floor(cursor_pos)
|
|
|
|
else
|
|
|
|
cursor = line:len() + 1
|
|
|
|
end
|
2019-12-07 16:16:10 +00:00
|
|
|
history_pos = #history + 1
|
|
|
|
insert_mode = false
|
|
|
|
if repl_active then
|
|
|
|
update()
|
|
|
|
else
|
|
|
|
set_active(true)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Naive helper function to find the next UTF-8 character in 'str' after 'pos'
|
|
|
|
-- by skipping continuation bytes. Assumes 'str' contains valid UTF-8.
|
|
|
|
function next_utf8(str, pos)
|
|
|
|
if pos > str:len() then return pos end
|
|
|
|
repeat
|
|
|
|
pos = pos + 1
|
|
|
|
until pos > str:len() or str:byte(pos) < 0x80 or str:byte(pos) > 0xbf
|
|
|
|
return pos
|
|
|
|
end
|
|
|
|
|
2022-04-25 11:27:18 +00:00
|
|
|
-- As above, but finds the previous UTF-8 character in 'str' before 'pos'
|
2019-12-07 16:16:10 +00:00
|
|
|
function prev_utf8(str, pos)
|
|
|
|
if pos <= 1 then return pos end
|
|
|
|
repeat
|
|
|
|
pos = pos - 1
|
|
|
|
until pos <= 1 or str:byte(pos) < 0x80 or str:byte(pos) > 0xbf
|
|
|
|
return pos
|
|
|
|
end
|
|
|
|
|
2021-10-31 10:30:25 +00:00
|
|
|
-- Insert a character at the current cursor position (any_unicode)
|
2019-12-07 16:16:10 +00:00
|
|
|
function handle_char_input(c)
|
|
|
|
if insert_mode then
|
|
|
|
line = line:sub(1, cursor - 1) .. c .. line:sub(next_utf8(line, cursor))
|
|
|
|
else
|
|
|
|
line = line:sub(1, cursor - 1) .. c .. line:sub(cursor)
|
|
|
|
end
|
|
|
|
cursor = cursor + #c
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Remove the character behind the cursor (Backspace)
|
|
|
|
function handle_backspace()
|
|
|
|
if cursor <= 1 then return end
|
|
|
|
local prev = prev_utf8(line, cursor)
|
|
|
|
line = line:sub(1, prev - 1) .. line:sub(cursor)
|
|
|
|
cursor = prev
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Remove the character in front of the cursor (Del)
|
|
|
|
function handle_del()
|
|
|
|
if cursor > line:len() then return end
|
|
|
|
line = line:sub(1, cursor - 1) .. line:sub(next_utf8(line, cursor))
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Toggle insert mode (Ins)
|
|
|
|
function handle_ins()
|
|
|
|
insert_mode = not insert_mode
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Move the cursor to the next character (Right)
|
|
|
|
function next_char(amount)
|
|
|
|
cursor = next_utf8(line, cursor)
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Move the cursor to the previous character (Left)
|
|
|
|
function prev_char(amount)
|
|
|
|
cursor = prev_utf8(line, cursor)
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Clear the current line (Ctrl+C)
|
|
|
|
function clear()
|
|
|
|
line = ''
|
|
|
|
cursor = 1
|
|
|
|
insert_mode = false
|
|
|
|
history_pos = #history + 1
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
2021-10-31 10:30:25 +00:00
|
|
|
-- Close the REPL if the current line is empty, otherwise delete the next
|
|
|
|
-- character (Ctrl+D)
|
2019-12-07 16:16:10 +00:00
|
|
|
function maybe_exit()
|
|
|
|
if line == '' then
|
|
|
|
set_active(false)
|
2021-10-31 10:30:25 +00:00
|
|
|
else
|
|
|
|
handle_del()
|
2019-12-07 16:16:10 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2019-12-24 15:08:04 +00:00
|
|
|
function help_command(param)
|
|
|
|
local cmdlist = mp.get_property_native('command-list')
|
2023-07-13 20:10:22 +00:00
|
|
|
table.sort(cmdlist, function(c1, c2)
|
|
|
|
return c1.name < c2.name
|
|
|
|
end)
|
2019-12-24 15:08:04 +00:00
|
|
|
local error_style = '{\\1c&H7a77f2&}'
|
|
|
|
local output = ''
|
|
|
|
if param == '' then
|
|
|
|
output = 'Available commands:\n'
|
|
|
|
for _, cmd in ipairs(cmdlist) do
|
|
|
|
output = output .. ' ' .. cmd.name
|
|
|
|
end
|
|
|
|
output = output .. '\n'
|
|
|
|
output = output .. 'Use "help command" to show information about a command.\n'
|
|
|
|
output = output .. "ESC or Ctrl+d exits the console.\n"
|
|
|
|
else
|
|
|
|
local cmd = nil
|
|
|
|
for _, curcmd in ipairs(cmdlist) do
|
|
|
|
if curcmd.name:find(param, 1, true) then
|
|
|
|
cmd = curcmd
|
|
|
|
if curcmd.name == param then
|
|
|
|
break -- exact match
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
if not cmd then
|
|
|
|
log_add(error_style, 'No command matches "' .. param .. '"!')
|
|
|
|
return
|
|
|
|
end
|
|
|
|
output = output .. 'Command "' .. cmd.name .. '"\n'
|
|
|
|
for _, arg in ipairs(cmd.args) do
|
|
|
|
output = output .. ' ' .. arg.name .. ' (' .. arg.type .. ')'
|
|
|
|
if arg.optional then
|
|
|
|
output = output .. ' (optional)'
|
|
|
|
end
|
|
|
|
output = output .. '\n'
|
|
|
|
end
|
|
|
|
if cmd.vararg then
|
|
|
|
output = output .. 'This command supports variable arguments.\n'
|
|
|
|
end
|
|
|
|
end
|
|
|
|
log_add('', output)
|
|
|
|
end
|
|
|
|
|
2022-06-18 01:29:32 +00:00
|
|
|
-- Add a line to the history and deduplicate
|
|
|
|
function history_add(text)
|
|
|
|
if opts.history_dedup then
|
|
|
|
-- More recent entries are more likely to be repeated
|
|
|
|
for i = #history, 1, -1 do
|
|
|
|
if history[i] == text then
|
|
|
|
table.remove(history, i)
|
|
|
|
break
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
history[#history + 1] = text
|
|
|
|
end
|
|
|
|
|
2019-12-07 16:16:10 +00:00
|
|
|
-- Run the current command and clear the line (Enter)
|
|
|
|
function handle_enter()
|
|
|
|
if line == '' then
|
|
|
|
return
|
|
|
|
end
|
|
|
|
if history[#history] ~= line then
|
2022-06-18 01:29:32 +00:00
|
|
|
history_add(line)
|
2019-12-07 16:16:10 +00:00
|
|
|
end
|
|
|
|
|
2019-12-24 15:08:04 +00:00
|
|
|
-- match "help [<text>]", return <text> or "", strip all whitespace
|
|
|
|
local help = line:match('^%s*help%s+(.-)%s*$') or
|
|
|
|
(line:match('^%s*help$') and '')
|
|
|
|
if help then
|
|
|
|
help_command(help)
|
|
|
|
else
|
|
|
|
mp.command(line)
|
|
|
|
end
|
|
|
|
|
2019-12-07 16:16:10 +00:00
|
|
|
clear()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Go to the specified position in the command history
|
|
|
|
function go_history(new_pos)
|
|
|
|
local old_pos = history_pos
|
|
|
|
history_pos = new_pos
|
|
|
|
|
|
|
|
-- Restrict the position to a legal value
|
|
|
|
if history_pos > #history + 1 then
|
|
|
|
history_pos = #history + 1
|
|
|
|
elseif history_pos < 1 then
|
|
|
|
history_pos = 1
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Do nothing if the history position didn't actually change
|
|
|
|
if history_pos == old_pos then
|
|
|
|
return
|
|
|
|
end
|
|
|
|
|
|
|
|
-- If the user was editing a non-history line, save it as the last history
|
|
|
|
-- entry. This makes it much less frustrating to accidentally hit Up/Down
|
|
|
|
-- while editing a line.
|
|
|
|
if old_pos == #history + 1 and line ~= '' and history[#history] ~= line then
|
2022-06-18 01:29:32 +00:00
|
|
|
history_add(line)
|
2019-12-07 16:16:10 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- Now show the history line (or a blank line for #history + 1)
|
|
|
|
if history_pos <= #history then
|
|
|
|
line = history[history_pos]
|
|
|
|
else
|
|
|
|
line = ''
|
|
|
|
end
|
|
|
|
cursor = line:len() + 1
|
|
|
|
insert_mode = false
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Go to the specified relative position in the command history (Up, Down)
|
|
|
|
function move_history(amount)
|
|
|
|
go_history(history_pos + amount)
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Go to the first command in the command history (PgUp)
|
|
|
|
function handle_pgup()
|
|
|
|
go_history(1)
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Stop browsing history and start editing a blank line (PgDown)
|
|
|
|
function handle_pgdown()
|
|
|
|
go_history(#history + 1)
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Move to the start of the current word, or if already at the start, the start
|
|
|
|
-- of the previous word. (Ctrl+Left)
|
|
|
|
function prev_word()
|
|
|
|
-- This is basically the same as next_word() but backwards, so reverse the
|
|
|
|
-- string in order to do a "backwards" find. This wouldn't be as annoying
|
|
|
|
-- to do if Lua didn't insist on 1-based indexing.
|
|
|
|
cursor = line:len() - select(2, line:reverse():find('%s*[^%s]*', line:len() - cursor + 2)) + 1
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Move to the end of the current word, or if already at the end, the end of
|
|
|
|
-- the next word. (Ctrl+Right)
|
|
|
|
function next_word()
|
|
|
|
cursor = select(2, line:find('%s*[^%s]*', cursor)) + 1
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- List of tab-completions:
|
|
|
|
-- pattern: A Lua pattern used in string:find. Should return the start and
|
|
|
|
-- end positions of the word to be completed in the first and second
|
|
|
|
-- capture groups (using the empty parenthesis notation "()")
|
|
|
|
-- list: A list of candidate completion values.
|
|
|
|
-- append: An extra string to be appended to the end of a successful
|
|
|
|
-- completion. It is only appended if 'list' contains exactly one
|
|
|
|
-- match.
|
2020-04-10 11:36:10 +00:00
|
|
|
function build_completers()
|
|
|
|
-- Build a list of commands, properties and options for tab-completion
|
|
|
|
local option_info = {
|
|
|
|
'name', 'type', 'set-from-commandline', 'set-locally', 'default-value',
|
|
|
|
'min', 'max', 'choices',
|
|
|
|
}
|
|
|
|
local cmd_list = {}
|
|
|
|
for i, cmd in ipairs(mp.get_property_native('command-list')) do
|
|
|
|
cmd_list[i] = cmd.name
|
|
|
|
end
|
|
|
|
local prop_list = mp.get_property_native('property-list')
|
|
|
|
for _, opt in ipairs(mp.get_property_native('options')) do
|
|
|
|
prop_list[#prop_list + 1] = 'options/' .. opt
|
|
|
|
prop_list[#prop_list + 1] = 'file-local-options/' .. opt
|
|
|
|
prop_list[#prop_list + 1] = 'option-info/' .. opt
|
|
|
|
for _, p in ipairs(option_info) do
|
|
|
|
prop_list[#prop_list + 1] = 'option-info/' .. opt .. '/' .. p
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
return {
|
|
|
|
{ pattern = '^%s*()[%w_-]+()$', list = cmd_list, append = ' ' },
|
|
|
|
{ pattern = '^%s*set%s+()[%w_/-]+()$', list = prop_list, append = ' ' },
|
|
|
|
{ pattern = '^%s*set%s+"()[%w_/-]+()$', list = prop_list, append = '" ' },
|
|
|
|
{ pattern = '^%s*add%s+()[%w_/-]+()$', list = prop_list, append = ' ' },
|
|
|
|
{ pattern = '^%s*add%s+"()[%w_/-]+()$', list = prop_list, append = '" ' },
|
|
|
|
{ pattern = '^%s*cycle%s+()[%w_/-]+()$', list = prop_list, append = ' ' },
|
|
|
|
{ pattern = '^%s*cycle%s+"()[%w_/-]+()$', list = prop_list, append = '" ' },
|
|
|
|
{ pattern = '^%s*multiply%s+()[%w_/-]+()$', list = prop_list, append = ' ' },
|
|
|
|
{ pattern = '^%s*multiply%s+"()[%w_/-]+()$', list = prop_list, append = '" ' },
|
|
|
|
{ pattern = '${()[%w_/-]+()$', list = prop_list, append = '}' },
|
|
|
|
}
|
|
|
|
end
|
2019-12-07 16:16:10 +00:00
|
|
|
|
|
|
|
-- Use 'list' to find possible tab-completions for 'part.' Returns the longest
|
|
|
|
-- common prefix of all the matching list items and a flag that indicates
|
|
|
|
-- whether the match was unique or not.
|
|
|
|
function complete_match(part, list)
|
|
|
|
local completion = nil
|
|
|
|
local full_match = false
|
|
|
|
|
|
|
|
for _, candidate in ipairs(list) do
|
|
|
|
if candidate:sub(1, part:len()) == part then
|
|
|
|
if completion and completion ~= candidate then
|
|
|
|
local prefix_len = part:len()
|
|
|
|
while completion:sub(1, prefix_len + 1)
|
|
|
|
== candidate:sub(1, prefix_len + 1) do
|
|
|
|
prefix_len = prefix_len + 1
|
|
|
|
end
|
|
|
|
completion = candidate:sub(1, prefix_len)
|
|
|
|
full_match = false
|
|
|
|
else
|
|
|
|
completion = candidate
|
|
|
|
full_match = true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
return completion, full_match
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Complete the option or property at the cursor (TAB)
|
|
|
|
function complete()
|
|
|
|
local before_cur = line:sub(1, cursor - 1)
|
|
|
|
local after_cur = line:sub(cursor)
|
|
|
|
|
|
|
|
-- Try the first completer that works
|
2020-04-10 11:36:10 +00:00
|
|
|
for _, completer in ipairs(build_completers()) do
|
2019-12-07 16:16:10 +00:00
|
|
|
-- Completer patterns should return the start and end of the word to be
|
|
|
|
-- completed as the first and second capture groups
|
|
|
|
local _, _, s, e = before_cur:find(completer.pattern)
|
|
|
|
if not s then
|
|
|
|
-- Multiple input commands can be separated by semicolons, so all
|
|
|
|
-- completions that are anchored at the start of the string with
|
|
|
|
-- '^' can start from a semicolon as well. Replace ^ with ; and try
|
|
|
|
-- to match again.
|
|
|
|
_, _, s, e = before_cur:find(completer.pattern:gsub('^^', ';'))
|
|
|
|
end
|
|
|
|
if s then
|
|
|
|
-- If the completer's pattern found a word, check the completer's
|
|
|
|
-- list for possible completions
|
|
|
|
local part = before_cur:sub(s, e)
|
|
|
|
local c, full = complete_match(part, completer.list)
|
|
|
|
if c then
|
|
|
|
-- If there was only one full match from the list, add
|
|
|
|
-- completer.append to the final string. This is normally a
|
|
|
|
-- space or a quotation mark followed by a space.
|
|
|
|
if full and completer.append then
|
|
|
|
c = c .. completer.append
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Insert the completion and update
|
|
|
|
before_cur = before_cur:sub(1, s - 1) .. c
|
|
|
|
cursor = before_cur:len() + 1
|
|
|
|
line = before_cur .. after_cur
|
|
|
|
update()
|
|
|
|
return
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Move the cursor to the beginning of the line (HOME)
|
|
|
|
function go_home()
|
|
|
|
cursor = 1
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Move the cursor to the end of the line (END)
|
|
|
|
function go_end()
|
|
|
|
cursor = line:len() + 1
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
2021-10-31 10:30:25 +00:00
|
|
|
-- Delete from the cursor to the beginning of the word (Ctrl+Backspace)
|
2019-12-07 16:16:10 +00:00
|
|
|
function del_word()
|
|
|
|
local before_cur = line:sub(1, cursor - 1)
|
|
|
|
local after_cur = line:sub(cursor)
|
|
|
|
|
|
|
|
before_cur = before_cur:gsub('[^%s]+%s*$', '', 1)
|
|
|
|
line = before_cur .. after_cur
|
|
|
|
cursor = before_cur:len() + 1
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
2021-10-31 10:30:25 +00:00
|
|
|
-- Delete from the cursor to the end of the word (Ctrl+Del)
|
|
|
|
function del_next_word()
|
|
|
|
if cursor > line:len() then return end
|
|
|
|
|
|
|
|
local before_cur = line:sub(1, cursor - 1)
|
|
|
|
local after_cur = line:sub(cursor)
|
|
|
|
|
|
|
|
after_cur = after_cur:gsub('^%s*[^%s]+', '', 1)
|
|
|
|
line = before_cur .. after_cur
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
2019-12-07 16:16:10 +00:00
|
|
|
-- Delete from the cursor to the end of the line (Ctrl+K)
|
|
|
|
function del_to_eol()
|
|
|
|
line = line:sub(1, cursor - 1)
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Delete from the cursor back to the start of the line (Ctrl+U)
|
|
|
|
function del_to_start()
|
|
|
|
line = line:sub(cursor)
|
|
|
|
cursor = 1
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Empty the log buffer of all messages (Ctrl+L)
|
|
|
|
function clear_log_buffer()
|
|
|
|
log_buffer = {}
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Returns a string of UTF-8 text from the clipboard (or the primary selection)
|
|
|
|
function get_clipboard(clip)
|
|
|
|
if platform == 'x11' then
|
|
|
|
local res = utils.subprocess({
|
|
|
|
args = { 'xclip', '-selection', clip and 'clipboard' or 'primary', '-out' },
|
|
|
|
playback_only = false,
|
|
|
|
})
|
|
|
|
if not res.error then
|
|
|
|
return res.stdout
|
|
|
|
end
|
2020-12-14 19:18:55 +00:00
|
|
|
elseif platform == 'wayland' then
|
|
|
|
local res = utils.subprocess({
|
|
|
|
args = { 'wl-paste', clip and '-n' or '-np' },
|
|
|
|
playback_only = false,
|
|
|
|
})
|
|
|
|
if not res.error then
|
|
|
|
return res.stdout
|
|
|
|
end
|
2019-12-07 16:16:10 +00:00
|
|
|
elseif platform == 'windows' then
|
|
|
|
local res = utils.subprocess({
|
|
|
|
args = { 'powershell', '-NoProfile', '-Command', [[& {
|
|
|
|
Trap {
|
|
|
|
Write-Error -ErrorRecord $_
|
|
|
|
Exit 1
|
|
|
|
}
|
|
|
|
|
|
|
|
$clip = ""
|
|
|
|
if (Get-Command "Get-Clipboard" -errorAction SilentlyContinue) {
|
|
|
|
$clip = Get-Clipboard -Raw -Format Text -TextFormatType UnicodeText
|
|
|
|
} else {
|
|
|
|
Add-Type -AssemblyName PresentationCore
|
|
|
|
$clip = [Windows.Clipboard]::GetText()
|
|
|
|
}
|
|
|
|
|
|
|
|
$clip = $clip -Replace "`r",""
|
|
|
|
$u8clip = [System.Text.Encoding]::UTF8.GetBytes($clip)
|
|
|
|
[Console]::OpenStandardOutput().Write($u8clip, 0, $u8clip.Length)
|
|
|
|
}]] },
|
|
|
|
playback_only = false,
|
|
|
|
})
|
|
|
|
if not res.error then
|
|
|
|
return res.stdout
|
|
|
|
end
|
2022-01-23 05:29:28 +00:00
|
|
|
elseif platform == 'darwin' then
|
2019-12-07 16:16:10 +00:00
|
|
|
local res = utils.subprocess({
|
|
|
|
args = { 'pbpaste' },
|
|
|
|
playback_only = false,
|
|
|
|
})
|
|
|
|
if not res.error then
|
|
|
|
return res.stdout
|
|
|
|
end
|
|
|
|
end
|
|
|
|
return ''
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Paste text from the window-system's clipboard. 'clip' determines whether the
|
2020-12-14 19:18:55 +00:00
|
|
|
-- clipboard or the primary selection buffer is used (on X11 and Wayland only.)
|
2019-12-07 16:16:10 +00:00
|
|
|
function paste(clip)
|
|
|
|
local text = get_clipboard(clip)
|
|
|
|
local before_cur = line:sub(1, cursor - 1)
|
|
|
|
local after_cur = line:sub(cursor)
|
|
|
|
line = before_cur .. text .. after_cur
|
|
|
|
cursor = cursor + text:len()
|
|
|
|
update()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- List of input bindings. This is a weird mashup between common GUI text-input
|
|
|
|
-- bindings and readline bindings.
|
2020-04-10 11:36:10 +00:00
|
|
|
function get_bindings()
|
|
|
|
local bindings = {
|
|
|
|
{ 'esc', function() set_active(false) end },
|
|
|
|
{ 'enter', handle_enter },
|
|
|
|
{ 'kp_enter', handle_enter },
|
|
|
|
{ 'shift+enter', function() handle_char_input('\n') end },
|
2021-10-31 10:30:25 +00:00
|
|
|
{ 'ctrl+j', handle_enter },
|
|
|
|
{ 'ctrl+m', handle_enter },
|
2020-04-10 11:36:10 +00:00
|
|
|
{ 'bs', handle_backspace },
|
|
|
|
{ 'shift+bs', handle_backspace },
|
2021-10-31 10:30:25 +00:00
|
|
|
{ 'ctrl+h', handle_backspace },
|
2020-04-10 11:36:10 +00:00
|
|
|
{ 'del', handle_del },
|
|
|
|
{ 'shift+del', handle_del },
|
|
|
|
{ 'ins', handle_ins },
|
|
|
|
{ 'shift+ins', function() paste(false) end },
|
|
|
|
{ 'mbtn_mid', function() paste(false) end },
|
|
|
|
{ 'left', function() prev_char() end },
|
2021-10-31 10:30:25 +00:00
|
|
|
{ 'ctrl+b', function() prev_char() end },
|
2020-04-10 11:36:10 +00:00
|
|
|
{ 'right', function() next_char() end },
|
2021-10-31 10:30:25 +00:00
|
|
|
{ 'ctrl+f', function() next_char() end },
|
2020-04-10 11:36:10 +00:00
|
|
|
{ 'up', function() move_history(-1) end },
|
2021-10-31 10:30:25 +00:00
|
|
|
{ 'ctrl+p', function() move_history(-1) end },
|
2020-04-10 11:36:10 +00:00
|
|
|
{ 'wheel_up', function() move_history(-1) end },
|
|
|
|
{ 'down', function() move_history(1) end },
|
2021-10-31 10:30:25 +00:00
|
|
|
{ 'ctrl+n', function() move_history(1) end },
|
2020-04-10 11:36:10 +00:00
|
|
|
{ 'wheel_down', function() move_history(1) end },
|
|
|
|
{ 'wheel_left', function() end },
|
|
|
|
{ 'wheel_right', function() end },
|
|
|
|
{ 'ctrl+left', prev_word },
|
2021-10-31 10:30:25 +00:00
|
|
|
{ 'alt+b', prev_word },
|
2020-04-10 11:36:10 +00:00
|
|
|
{ 'ctrl+right', next_word },
|
2021-10-31 10:30:25 +00:00
|
|
|
{ 'alt+f', next_word },
|
2020-04-10 11:36:10 +00:00
|
|
|
{ 'tab', complete },
|
2021-10-31 10:30:25 +00:00
|
|
|
{ 'ctrl+i', complete },
|
|
|
|
{ 'ctrl+a', go_home },
|
2020-04-10 11:36:10 +00:00
|
|
|
{ 'home', go_home },
|
2021-10-31 10:30:25 +00:00
|
|
|
{ 'ctrl+e', go_end },
|
2020-04-10 11:36:10 +00:00
|
|
|
{ 'end', go_end },
|
|
|
|
{ 'pgup', handle_pgup },
|
|
|
|
{ 'pgdwn', handle_pgdown },
|
|
|
|
{ 'ctrl+c', clear },
|
|
|
|
{ 'ctrl+d', maybe_exit },
|
|
|
|
{ 'ctrl+k', del_to_eol },
|
|
|
|
{ 'ctrl+l', clear_log_buffer },
|
|
|
|
{ 'ctrl+u', del_to_start },
|
|
|
|
{ 'ctrl+v', function() paste(true) end },
|
|
|
|
{ 'meta+v', function() paste(true) end },
|
2021-10-31 10:30:25 +00:00
|
|
|
{ 'ctrl+bs', del_word },
|
2020-04-10 11:36:10 +00:00
|
|
|
{ 'ctrl+w', del_word },
|
2021-10-31 10:30:25 +00:00
|
|
|
{ 'ctrl+del', del_next_word },
|
|
|
|
{ 'alt+d', del_next_word },
|
2020-04-10 11:36:10 +00:00
|
|
|
{ 'kp_dec', function() handle_char_input('.') end },
|
|
|
|
}
|
|
|
|
|
|
|
|
for i = 0, 9 do
|
|
|
|
bindings[#bindings + 1] =
|
|
|
|
{'kp' .. i, function() handle_char_input('' .. i) end}
|
|
|
|
end
|
2019-12-07 16:16:10 +00:00
|
|
|
|
2020-04-10 11:36:10 +00:00
|
|
|
return bindings
|
2020-02-07 12:51:25 +00:00
|
|
|
end
|
|
|
|
|
2019-12-07 16:16:10 +00:00
|
|
|
local function text_input(info)
|
|
|
|
if info.key_text and (info.event == "press" or info.event == "down"
|
|
|
|
or info.event == "repeat")
|
|
|
|
then
|
|
|
|
handle_char_input(info.key_text)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function define_key_bindings()
|
|
|
|
if #key_bindings > 0 then
|
|
|
|
return
|
|
|
|
end
|
2020-04-10 11:36:10 +00:00
|
|
|
for _, bind in ipairs(get_bindings()) do
|
2019-12-07 16:16:10 +00:00
|
|
|
-- Generate arbitrary name for removing the bindings later.
|
|
|
|
local name = "_console_" .. (#key_bindings + 1)
|
|
|
|
key_bindings[#key_bindings + 1] = name
|
|
|
|
mp.add_forced_key_binding(bind[1], name, bind[2], {repeatable = true})
|
|
|
|
end
|
|
|
|
mp.add_forced_key_binding("any_unicode", "_console_text", text_input,
|
|
|
|
{repeatable = true, complex = true})
|
|
|
|
key_bindings[#key_bindings + 1] = "_console_text"
|
|
|
|
end
|
|
|
|
|
|
|
|
function undefine_key_bindings()
|
|
|
|
for _, name in ipairs(key_bindings) do
|
|
|
|
mp.remove_key_binding(name)
|
|
|
|
end
|
|
|
|
key_bindings = {}
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Add a global binding for enabling the REPL. While it's enabled, its bindings
|
|
|
|
-- will take over and it can be closed with ESC.
|
|
|
|
mp.add_key_binding(nil, 'enable', function()
|
|
|
|
set_active(true)
|
|
|
|
end)
|
|
|
|
|
|
|
|
-- Add a script-message to show the REPL and fill it with the provided text
|
2020-03-27 13:46:39 +00:00
|
|
|
mp.register_script_message('type', function(text, cursor_pos)
|
|
|
|
show_and_type(text, cursor_pos)
|
2019-12-07 16:16:10 +00:00
|
|
|
end)
|
|
|
|
|
|
|
|
-- Redraw the REPL when the OSD size changes. This is needed because the
|
|
|
|
-- PlayRes of the OSD will need to be adjusted.
|
|
|
|
mp.observe_property('osd-width', 'native', update)
|
|
|
|
mp.observe_property('osd-height', 'native', update)
|
2019-12-20 11:53:56 +00:00
|
|
|
mp.observe_property('display-hidpi-scale', 'native', update)
|
2019-12-07 16:16:10 +00:00
|
|
|
|
|
|
|
-- Enable log messages. In silent mode, mpv will queue log messages in a buffer
|
|
|
|
-- until enable_messages is called again without the silent: prefix.
|
|
|
|
mp.enable_messages('silent:terminal-default')
|
|
|
|
|
|
|
|
mp.register_event('log-message', function(e)
|
|
|
|
-- Ignore log messages from the OSD because of paranoia, since writing them
|
|
|
|
-- to the OSD could generate more messages in an infinite loop.
|
|
|
|
if e.prefix:sub(1, 3) == 'osd' then return end
|
|
|
|
|
|
|
|
-- Ignore messages output by this script.
|
|
|
|
if e.prefix == mp.get_script_name() then return end
|
|
|
|
|
|
|
|
-- Ignore buffer overflow warning messages. Overflowed log messages would
|
|
|
|
-- have been offscreen anyway.
|
|
|
|
if e.prefix == 'overflow' then return end
|
|
|
|
|
|
|
|
-- Filter out trace-level log messages, even if the terminal-default log
|
|
|
|
-- level includes them. These aren't too useful for an on-screen display
|
|
|
|
-- without scrollback and they include messages that are generated from the
|
|
|
|
-- OSD display itself.
|
|
|
|
if e.level == 'trace' then return end
|
|
|
|
|
|
|
|
-- Use color for debug/v/warn/error/fatal messages. Colors are stolen from
|
|
|
|
-- base16 Eighties by Chris Kempson.
|
|
|
|
local style = ''
|
|
|
|
if e.level == 'debug' then
|
|
|
|
style = '{\\1c&Ha09f93&}'
|
|
|
|
elseif e.level == 'v' then
|
|
|
|
style = '{\\1c&H99cc99&}'
|
|
|
|
elseif e.level == 'warn' then
|
|
|
|
style = '{\\1c&H66ccff&}'
|
|
|
|
elseif e.level == 'error' then
|
|
|
|
style = '{\\1c&H7a77f2&}'
|
|
|
|
elseif e.level == 'fatal' then
|
|
|
|
style = '{\\1c&H5791f9&\\b1}'
|
|
|
|
end
|
|
|
|
|
|
|
|
log_add(style, '[' .. e.prefix .. '] ' .. e.text)
|
|
|
|
end)
|
2020-04-10 11:36:10 +00:00
|
|
|
|
|
|
|
collectgarbage()
|