diff options
| author |  Johannes Nixdorf <mixi@exherbo.org> | 2014-01-15 21:43:57 +0100 |
|---|---|---|
| committer | Johannes Nixdorf <mixi@exherbo.org> | 2014-01-15 23:12:34 +0100 |
| commit | 1d9c62b644a3f8da39802ed99dc27e85bdd47792 (patch) | |
| tree | 1f9c2c45851e4aa831b6011dac344bb92405287b /player/video.c | |
| parent | 195e087086dd2cf7be0fea56ac7b703d32bd59fe (diff) | |
player: use more than 1/100 resolution for --term-osd-bar
If the terminal width is large enough the position marker jumps over
several characters because currently pos only increases in 1/100th steps.
Diffstat (limited to 'player/video.c')
0 files changed, 0 insertions, 0 deletions