From 6a1b362bbaf1add0274ce960dc2abbe6b771d128 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kier=C3=A1n=20Meinhardt?= Date: Sun, 14 Apr 2019 10:28:43 +0200 Subject: [PATCH] rofi: terminal font --- dot/rofi.nix | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/dot/rofi.nix b/dot/rofi.nix index 1d50b39..155776c 100644 --- a/dot/rofi.nix +++ b/dot/rofi.nix @@ -7,9 +7,13 @@ with import ; terminal = config.defaultApplications.terminal; borderWidth = 0; lines = 5; - font = "${uiFont.name} ${toString (uiFont.size + 1)}"; + font = "${terminalFont.name} ${toString (terminalFont.size + 1)}"; colors = rec { - window = { background = invertedColorScheme.background; border = invertedColorScheme.background; separator = invertedColorScheme.black.light; }; + window = { + background = invertedColorScheme.background; + border = invertedColorScheme.background; + separator = invertedColorScheme.black.light; + }; rows = { normal = { background = window.background;