mirror of
https://github.com/nix-community/home-manager
synced 2024-12-26 11:49:47 +01:00
93ad8661c7
Since Rofi 1.7.1 (specifically davatorium/rofi@0e70d8a), the deprecated
`theme` option in the `configuration` section no longer works. For 1.7.0
and up, `@theme "name"` is supposed to be used *after* the
`configuration` block.
(cherry picked from commit 3ec7f6fb43
)
6 lines
71 B
Text
6 lines
71 B
Text
configuration {
|
|
location: 0;
|
|
xoffset: 0;
|
|
yoffset: 0;
|
|
}
|
|
@theme "custom"
|