diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-03-05T15·23+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-03-06T10·15+0000 |
| commit | 382ef0be5505a049e575ba8a6ee5e6f2e055122c (patch) | |
| tree | 4550af7e041dac80302b0d79bfe5fc0b8e162b37 /configs/shared/.config/rofi/config | |
| parent | fd0595805fdcd9ac0e1165d5c7d1899e1c23c091 (diff) | |
Drop support for rofi
Rofi is a nicer alternative to dmenu, but I use neither dmenu nor rofi, so farewell.
Diffstat (limited to 'configs/shared/.config/rofi/config')
| -rw-r--r-- | configs/shared/.config/rofi/config | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/configs/shared/.config/rofi/config b/configs/shared/.config/rofi/config deleted file mode 100644 index 576ab5cd8e68..000000000000 --- a/configs/shared/.config/rofi/config +++ /dev/null @@ -1,6 +0,0 @@ -rofi.font: Monospace 10 -rofi.color-normal: #31213f, #8de0e1, #31213f, #83526a, #8de0e1 -rofi.color-urgent: #31213f, #d6b48d, #22231D, #d6b48d, #8de0e1 -rofi.color-active: #31213f, #3CC2B5, #31213f, #3CC2B5, #31213f -rofi.color-window: #31213f, #83526a, #5a3849 -rofi.modi: window,run,ssh,combi |