aboutsummaryrefslogtreecommitdiff
path: root/infra/libkookie/modules
diff options
context:
space:
mode:
authorMx Kookie <kookie@spacekookie.de>2020-12-25 12:41:20 +0100
committerMx Kookie <kookie@spacekookie.de>2020-12-25 12:41:20 +0100
commit21e15c545ab2efdd3c46eb891e68a6f00a0215ef (patch)
tree39305b8fac77b9bb71a433991ecf5e50c16a0569 /infra/libkookie/modules
parent0946b5e1a42b5cb64c5b78a33dd89f3647d43903 (diff)
libkookie: dpi: add global dpi setting and wrap dino to use it
Diffstat (limited to 'infra/libkookie/modules')
-rw-r--r--infra/libkookie/modules/workstation/ui/dpi/default.nix16
1 files changed, 16 insertions, 0 deletions
diff --git a/infra/libkookie/modules/workstation/ui/dpi/default.nix b/infra/libkookie/modules/workstation/ui/dpi/default.nix
new file mode 100644
index 000000000000..69cb37766f09
--- /dev/null
+++ b/infra/libkookie/modules/workstation/ui/dpi/default.nix
@@ -0,0 +1,16 @@
+{ config, lib, ... }:
+
+with lib;
+{
+ options.libkookie.ui.dpi = mkOption {
+ type = types.float;
+ default = 1.0;
+ description = ''
+ Override the default DPI scale for text on a system. By default
+ this value is set to 1.0, meaning that an application _or_ a
+ display manager will set the font size for you. By overriding
+ this setting it is possible to increase text size that is too
+ small by default.
+ '';
+ };
+}