1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2024-11-25 13:55:34 -05:00

Case insensitive

This commit is contained in:
Dave Davenport 2016-10-27 21:44:13 +02:00
parent 24a945eb3f
commit be46caa279

View file

@ -104,7 +104,7 @@ declare -i SELECTED
function select_theme () function select_theme ()
{ {
local MORE_FLAGS=(-dmenu -format i -no-custom -p Theme -markup -config ${TMP_CONFIG_FILE}) local MORE_FLAGS=(-dmenu -format i -no-custom -p Theme -markup -config ${TMP_CONFIG_FILE} -i)
MORE_FLAGS+=(-kb-custom-1 "Alt-a") MORE_FLAGS+=(-kb-custom-1 "Alt-a")
local CUR="default" local CUR="default"
while true while true