Add configuration flag to chromium: hiDPISupport

By default, hiDPISupport is disabled.
This commit is contained in:
Thomas Strobel 2014-09-16 00:33:25 +02:00
parent f904ca14a2
commit 1f28161a41
3 changed files with 5 additions and 1 deletions

View file

@ -27,6 +27,7 @@
, proprietaryCodecs ? true
, cupsSupport ? false
, pulseSupport ? false, pulseaudio ? null
, hiDPISupport ? false
, source
, plugins
@ -162,6 +163,7 @@ let
linux_sandbox_chrome_path="${libExecPath}/${packageName}";
werror = "";
clang = false;
enable_hidpi = hiDPISupport;
# Google API keys, see:
# http://www.chromium.org/developers/how-tos/api-keys

View file

@ -12,6 +12,7 @@
, enablePepperPDF ? false
, cupsSupport ? false
, pulseSupport ? false
, hiDPISupport ? false
}:
let
@ -27,7 +28,7 @@ let
mkChromiumDerivation = callPackage ./common.nix {
inherit enableSELinux enableNaCl useOpenSSL gnomeSupport
gnomeKeyringSupport proprietaryCodecs cupsSupport
pulseSupport;
pulseSupport hiDPISupport;
};
browser = callPackage ./browser.nix { };

View file

@ -8522,6 +8522,7 @@ let
pulseSupport = config.pulseaudio or true;
enablePepperFlash = config.chromium.enablePepperFlash or false;
enablePepperPDF = config.chromium.enablePepperPDF or false;
hiDPISupport = config.chromium.hiDPISupport or false;
};
chromiumBeta = lowPrio (chromium.override { channel = "beta"; });