Fix theme option after upgrading rofi to 1.7.1

Following the latest 1.7.0 rofi update, the latest 1.7.1 version all “broke” my theming.

Basically the theme option changed.

To fix I just add to my ~/.config/rofi/config.rasi file:

Before:

1configuration {
2  (...)
3  theme: "~/.config/rofi/themes/dmenu.rasi";
4  (...)
5}

After:

1configuration {
2  (...)
3}
4
5@theme "~/.config/rofi/themes/dmenu.rasi"