550042 – [Quicksearch] Ignored file extensions must be checked case insensitive

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 550042 - [Quicksearch] Ignored file extensions must be checked case insensitive

Summary: [Quicksearch] Ignored file extensions must be checked case insensitive

Status:	RESOLVED FIXED

Alias:	None

Product:	Platform
Classification:	Eclipse Project
Component:	UI (show other bugs)
Version:	4.13
Hardware:	PC Windows 10

Importance:	P3 minor (vote)
Target Milestone:	4.13 M3
Assignee:	Michael Keppler
QA Contact:

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2019-08-14 03:29 EDT by Michael Keppler
Modified:	2019-08-15 09:01 EDT (History)
CC List:	0 users

See Also:	Gerrit Change Git Commit

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Michael Keppler

2019-08-14 03:29:13 EDT

The quicksearch dialog preference for ignored file extensions currently matches case sensitive. It even has default values containing both ".gif" and ".GIF" to match lowercase and uppercase (thereby missing accidentally created mixed case).

This must be changed to compare the file extension case insensitive and to only have lowercase default values in the preference page.

Comment 1 Eclipse Genie

2019-08-14 03:50:28 EDT

New Gerrit change created: https://git.eclipse.org/r/147678

Comment 2 Eclipse Genie

2019-08-15 08:44:22 EDT

Gerrit change https://git.eclipse.org/r/147678 was merged to [master].
Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=7017d41a622f96dd1c6dcf36b752d8d98af14b5e