diff options
| author | wm4 <wm4@nowhere> | 2016-09-20 01:20:22 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2016-09-20 01:25:50 +0200 |
| commit | 995962291a386229087656ec8ceaf01d66004955 (patch) | |
| tree | b9b40f2978ef150ffe4babdc81489cbe1b554273 /player | |
| parent | b6ba87af4bf51e8539fe97307426e1706071c949 (diff) | |
| download | mpv-995962291a386229087656ec8ceaf01d66004955.tar.bz2 mpv-995962291a386229087656ec8ceaf01d66004955.tar.xz | |
options: fix window-scale property
A recent change merged the window-scaler option and property, but forgot
that the option is float for some reason, while the property uses
double. This led to undefined behavior. Fix it by changing the option
to double too.
Diffstat (limited to 'player')
0 files changed, 0 insertions, 0 deletions