1
0
mirror of https://github.com/nix-community/home-manager synced 2024-06-28 09:28:32 +02:00

rofi: add fullscreen option

This commit is contained in:
Nikita Uvarov 2017-09-30 14:14:07 +02:00
parent aa974c0dc3
commit 52256d7a73
No known key found for this signature in database
GPG Key ID: F7A5FB3A7C10EF96

View File

@ -158,7 +158,7 @@ in
default = null;
type = types.nullOr types.string;
example = "Droid Sans Mono 14";
description = "Font to use";
description = "Font to use.";
};
scrollbar = mkOption {
@ -186,7 +186,13 @@ in
cycle = mkOption {
default = null;
type = types.nullOr types.bool;
description = "Whether to cycle through the results list";
description = "Whether to cycle through the results list.";
};
fullscreen = mkOption {
default = null;
type = types.nullOr types.bool;
description = "Whether to run rofi fullscreen.";
};
colors = mkOption {
@ -251,6 +257,7 @@ in
)}
${setOption "terminal" cfg.terminal}
${setOption "cycle" cfg.cycle}
${setOption "fullscreen" cfg.fullscreen}
${setColorScheme cfg.colors}