Bug 566961

Summary:	Show whitespace characters is missing some types
Product:	[Eclipse Project] Platform	Reporter:	Pierre-Yves Bigourdan <pyvesdev>
Component:	Text	Assignee:	Platform-Text-Inbox <platform-text-inbox>
Status:	NEW ---	QA Contact:
Severity:	normal
Priority:	P3
Version:	4.17
Target Milestone:	---
Hardware:	All
OS:	All
Whiteboard:

Description Pierre-Yves Bigourdan

2020-09-14 10:43:14 EDT

The "Show whitespace characters" functionality covers regular spaces, ideographic spaces, tabs, carriage returns and line feeds. However, other types of whitespace exist and I've recently hit a case where a NO-BREAK SPACE was incorrectly introduced in a file.

Wikipedia contains a comprehensive list of all unicode characters with White_Space property (https://en.wikipedia.org/wiki/Whitespace_character). Rather than creating a separate option for each, I think it would be better to merge them all under the "ideographic spaces" one and rename it to "other whitespace characters".