Bug 574868 - Rename custom caret in accessibility preferences page
Summary: Rename custom caret in accessibility preferences page
Status: NEW
Alias: None
Product: Platform
Classification: Eclipse Project
Component: Text (show other bugs)
Version: 4.20   Edit
Hardware: PC Windows 10
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: Platform-Text-Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2021-07-15 12:55 EDT by Rolf Theunissen CLA
Modified: 2021-07-15 12:55 EDT (History)
0 users

See Also:

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 Rolf Theunissen CLA 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.