Bug 574868

Summary:	Rename custom caret in accessibility preferences page
Product:	[Eclipse Project] Platform	Reporter:	Rolf Theunissen <rolf.theunissen>
Component:	Text	Assignee:	Platform-Text-Inbox <platform-text-inbox>
Status:	NEW ---	QA Contact:
Severity:	normal
Priority:	P3
Version:	4.20
Target Milestone:	---
Hardware:	PC
OS:	Windows 10
Whiteboard:

Description Rolf Theunissen

2021-07-15 12:55:40 EDT

While reviewing https://git.eclipse.org/r/c/platform/eclipse.platform.common/+/182899 I noticed that change of carrot is called 'custom carrot'. 

From an end-user perspective, 'custom caret' is strange. There are apparently two different carets styles, a 'original' one and a 'custom' one. Probably the 'original' caret is a native one and the 'custom' not, but that is an implementation detail that does not need to be exposed to the end-user.
Also, it is strange that the thick caret is a sub-option of this one.

I propose that this is renamed.