From 9f223e98b7a7e72037ecbba7c1076e35fea2a8f3 Mon Sep 17 00:00:00 2001 From: Piotr Bogdan Date: Fri, 10 Apr 2020 14:56:47 +0100 Subject: [PATCH] gnome-terminal: add `cursorBlinkMode` option --- modules/programs/gnome-terminal.nix | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/modules/programs/gnome-terminal.nix b/modules/programs/gnome-terminal.nix index 570a1fc7d..3c053ed58 100644 --- a/modules/programs/gnome-terminal.nix +++ b/modules/programs/gnome-terminal.nix @@ -81,6 +81,12 @@ let description = "The terminal colors, null to use system default."; }; + cursorBlinkMode = mkOption { + default = "system"; + type = types.enum [ "system" "on" "off" ]; + description = "The cursor blink mode."; + }; + cursorShape = mkOption { default = "block"; type = types.enum [ "block" "ibeam" "underline" ]; @@ -130,6 +136,7 @@ let scrollbar-policy = if pcfg.showScrollbar then "always" else "never"; scrollback-lines = pcfg.scrollbackLines; cursor-shape = pcfg.cursorShape; + cursor-blink-mode = pcfg.cursorBlinkMode; } // (if (pcfg.font == null) then { use-system-font = true; } else {