diff options
author | devhell <devhell@mailfresser.de> | 2017-10-17 11:49:49 +0100 |
---|---|---|
committer | devhell <devhell@mailfresser.de> | 2017-10-17 11:49:49 +0100 |
commit | 42a9b7db20a3405b5b4a54baf566f27cb96d334b (patch) | |
tree | 233ad43de5967b309f7d4792d394a46c7a868d20 /machines/devhell/eris.nix | |
parent | c265c9070cf5a1662ac1b6997ca174170d75c688 (diff) |
machines/{eris,titan}: Remove Rofi config
Since rofi 1.4.0 the old way of theming has been dropped in favor of a more complex and fine-grained theme engine. These theme files are rather large and so it makes sense to move to the theme configuration to rofi's XDG_USER_CONFIG_DIR.
Diffstat (limited to 'machines/devhell/eris.nix')
-rw-r--r-- | machines/devhell/eris.nix | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/machines/devhell/eris.nix b/machines/devhell/eris.nix index a60f2805..37eb1c1d 100644 --- a/machines/devhell/eris.nix +++ b/machines/devhell/eris.nix @@ -142,15 +142,6 @@ ${xterm}*faceNameDoublesize: xft:Unifont:pixelsize=12:antialias=true:hinting=true ${xterm}*cursorColor: #545f65 '') [ "UXTerm" "XTerm" ]} - ! ------------------------------------------------------------------------------ - ! ROFI Color theme - ! Copyright: 2017 leofa - ! ------------------------------------------------------------------------------ - rofi.color-normal: argb:0383c4a, #c4cbd4, argb:96404552, #4084d6, #f9f9f9 - rofi.color-urgent: argb:02d303b, #cc6666, argb:e52d303b, #a54242, #f9f9f9 - rofi.color-active: argb:02d303b, #b5bd68, argb:e42d303b, #8c9440, #f9f9f9 - rofi.color-window: argb:f22d303b, #7c8389, #1d1f21 - rofi.separator-style: solid ''}" ''; }; |