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

Also respond to dead Grave for casesensitive toggle.

This commit is contained in:
Dave Davenport 2015-01-14 08:11:32 +01:00
parent 46ab505be7
commit deee786c65

View file

@ -1637,7 +1637,7 @@ MenuReturn menu ( char **lines, unsigned int num_lines, char **input, char *prom
break; break;
} }
// Toggle case sensitivity. // Toggle case sensitivity.
else if ( key == XK_grave ) { else if ( key == XK_grave || key == XK_dead_grave ) {
config.case_sensitive = !config.case_sensitive; config.case_sensitive = !config.case_sensitive;
*( state.selected_line ) = 0; *( state.selected_line ) = 0;
state.refilter = TRUE; state.refilter = TRUE;