Mirrors/home-manager
2
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-22 20:53:14 +00:00
Code Issues Projects Releases Packages Wiki Activity

gnome-terminal: add cursorBlinkMode option

Browse source
This commit is contained in:
Piotr Bogdan 2020-04-10 14:56:47 +01:00 committed by Robert Helgesson
parent 2102b4e7b3
commit 9f223e98b7
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
modules/programs/gnome-terminal.nix
View file

@ -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 {