mirror of
https://github.com/mpv-player/mpv.git
synced 2026-10-21 18:25:54 +08:00
49afdb9365
This is redundant because you can set font_size and border_size to have the same effect.