rofi: make rofi dmenu case insensitive on selection #45

Closed fishman closed 3 years ago