diff options
| author | Rebecca Turner <rbt@sent.as> | 2020-09-20 17:37:59 -0400 |
|---|---|---|
| committer | Rebecca Turner <rbt@sent.as> | 2020-09-21 13:50:19 -0400 |
| commit | 4f03644c56ddd8c57bec062d3de79ec13887a0be (patch) | |
| tree | ca8ee9527b43990993afdba0c65d56b35a0351ab /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 41e883a6579165972443209a8f472c1c98253e50 (diff) | |
spotify: support --force-device-scale-factor
Add a Spotify wrapper with a `deviceScaleFactor` argument to set the
`--force-device-scale-factor` flag for high-DPI displays. If unset,
nothing is added.
This allows e.g.
spotify.override { deviceScaleFactor = 1.66; }
Uses a separate wrapper derivation as suggested by @Ma27.
Uses `wrapProgram` instead of `makeWrapper` as suggested by @Ma27.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions