diff --git a/DOCS/interface-changes/console-scale.txt b/DOCS/interface-changes/console-scale.txt new file mode 100644 index 0000000000..13e43f0055 --- /dev/null +++ b/DOCS/interface-changes/console-scale.txt @@ -0,0 +1 @@ +remove `console-scale` script-opt diff --git a/DOCS/man/console.rst b/DOCS/man/console.rst index 7028e6c76d..d496710cfe 100644 --- a/DOCS/man/console.rst +++ b/DOCS/man/console.rst @@ -131,15 +131,6 @@ documentation. Configurable Options ~~~~~~~~~~~~~~~~~~~~ -``scale`` - Default: 1 - - All drawing is scaled by this value, including the text borders and the - cursor. - - If the VO backend in use has HiDPI scale reporting implemented, the option - value is scaled with the reported HiDPI scale. - ``font`` Default: unset (picks a hardcoded font depending on detected platform) @@ -151,7 +142,7 @@ Configurable Options Default: 16 Set the font size used for the REPL and the console. This will be - multiplied by "scale". + multiplied by ``display-hidpi-scale``. ``border_size`` Default: 1 diff --git a/player/lua/console.lua b/player/lua/console.lua index 5859aab6e1..f844c53eef 100644 --- a/player/lua/console.lua +++ b/player/lua/console.lua @@ -17,11 +17,6 @@ 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 has to be a monospaced font. font = "", -- Set the font size used for the REPL and the console. This will be -- multiplied by "scale". @@ -266,7 +261,6 @@ local function calculate_max_log_lines() return math.floor(mp.get_property_native('osd-height') / mp.get_property_native('display-hidpi-scale', 1) - / opts.scale * (1 - global_margins.t - global_margins.b) / opts.font_size -- Subtract 1 for the input line and 1 for the newline @@ -511,8 +505,6 @@ local function update() local dpi_scale = mp.get_property_native("display-hidpi-scale", 1.0) - dpi_scale = dpi_scale * opts.scale - local screenx, screeny = mp.get_osd_size() screenx = screenx / dpi_scale screeny = screeny / dpi_scale