rofi -dmenu is always case sensitive

Created on 14 Feb 2017 · 5Comments · Source: davatorium/rofi

Hello,

I just noticed that 'rofi -dmenu' is always filtering in a case-sensitive manner. See below for details.

Version

Version: 1.3.1-235-g1d6b149-dirty

Configuration

no additional configuration (out of the box)

Launch Command

echo "Blinbla" | rofi -dmenu
echo "Blinbla" | rofi -dmenu -case-sensitive

Steps to reproduce

issue the above two commands and type 'b'

What behaviour you see

Both times, the entry "Bli" is ruled out, i.e. behaviour is case-sensitive.

What behaviour you expect to see

Case-insensitivity when issuing first command.

Source

herrsimon

Most helpful comment

I feel like this needs to be highlighted (maybe in manpages?), because I was just about to create an issue regarding this. Sorry to bump, but I've spent 20 minutes trying to figure this out.

nikp123 on 17 Oct 2019

👍2

All 5 comments

In dmenu mode you need to use the dmenu compatible -i flag to switch sensitivity.
(run-time keybinding also works)

DaveDavenport on 14 Feb 2017

👍2

Sorry, didn't read the manpage properly. Thanks for the quick reply!

herrsimon on 14 Feb 2017

No problem.

DaveDavenport on 14 Feb 2017

I feel like this needs to be highlighted (maybe in manpages?), because I was just about to create an issue regarding this. Sorry to bump, but I've spent 20 minutes trying to figure this out.

nikp123 on 17 Oct 2019

👍2

This issue has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.