diff options
| author | Ricardo Constantino <wiiaboo@gmail.com> | 2017-02-04 22:47:15 +0000 |
|---|---|---|
| committer | Ricardo Constantino <wiiaboo@gmail.com> | 2017-03-24 16:16:11 +0000 |
| commit | aee08e3f51fcfe6b09b81bed263bc9510af3d2b9 (patch) | |
| tree | 3d207d35608015375bba29a65372fba527258081 /player/core.h | |
| parent | 03b2710dc8207fdf6ad30990d274d81cc4a2bce6 (diff) | |
| download | mpv-aee08e3f51fcfe6b09b81bed263bc9510af3d2b9.tar.bz2 mpv-aee08e3f51fcfe6b09b81bed263bc9510af3d2b9.tar.xz | |
osc: bottom/topbar: increase timecodes width a bit
Compensates for wider fonts like DejaVu Sans Mono.
Further compensate for the minus sign in the right timecode by 10px.
Closes #3952
Diffstat (limited to 'player/core.h')
0 files changed, 0 insertions, 0 deletions