file search: Add option to search case-insensitively
Currently the file search tab only searches case-sensitively. This commit adds a "Match case" option to search and replace. Default: Match case = off (case-insensitive search) BUG: 417116
Please register or sign in to comment