console.lua: default to a proportional font for select

In the select menu there are no completions to align in a grid, so the
better looking proportional font of --osd-font can be used by default.
It is also easier to read for the visually impaired.

The text width calculation is no longer performed if the console is only
opened through select, it is only performed the first time something is
completed. This avoids having to pass an argument to get_font() to make
it use the monospace font regardless of selectable_items.

Fixes #15176.
This commit is contained in:
Guido Cella
2024-10-26 12:08:24 +02:00
committed by Kacper Michajłow
parent cb8e3ba959
commit aa66f0dced
2 changed files with 56 additions and 36 deletions

View File

@@ -147,11 +147,14 @@ Configurable Options
~~~~~~~~~~~~~~~~~~~~
``font``
Default: unset (picks a hardcoded font depending on detected platform)
Default: a monospace font depending on the platform
Set the font used for the REPL and the console.
This has to be a monospaced font for the completion suggestions to be
aligned correctly.
Set the font used for the console.
A monospaced font is necessary to align completion suggestions correctly in
a grid.
If the console was opened by calling ``mp.input.select`` and no font was
configured, ``--osd-font`` is used, as alignment is not necessary in that
case.
``font_size``
Default: 24