WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
194317
Standardize on ControlKey instead of CtrlKey
https://bugs.webkit.org/show_bug.cgi?id=194317
Summary
Standardize on ControlKey instead of CtrlKey
Daniel Bates
Reported
2019-02-05 16:41:46 PST
Use the term "control key" instead of "ctrl key".
Attachments
Patch
(19.42 KB, patch)
2019-02-05 16:42 PST
,
Daniel Bates
no flags
Details
Formatted Diff
Diff
Patch
(22.23 KB, patch)
2019-02-06 12:03 PST
,
Daniel Bates
no flags
Details
Formatted Diff
Diff
Show Obsolete
(1)
View All
Add attachment
proposed patch, testcase, etc.
Daniel Bates
Comment 1
2019-02-05 16:42:56 PST
Created
attachment 361245
[details]
Patch
Daniel Bates
Comment 2
2019-02-05 16:43:31 PST
We can't change the use of "ctrl" in the DOM, but we can standard on "control" everywhere else.
Daniel Bates
Comment 3
2019-02-06 12:03:32 PST
Created
attachment 361310
[details]
Patch
Daniel Bates
Comment 4
2019-02-06 13:26:55 PST
Comment on
attachment 361310
[details]
Patch Clearing flags on attachment: 361310 Committed
r241044
: <
https://trac.webkit.org/changeset/241044
>
Daniel Bates
Comment 5
2019-02-06 13:26:56 PST
All reviewed patches have been landed. Closing bug.
Radar WebKit Bug Importer
Comment 6
2019-02-06 13:27:29 PST
<
rdar://problem/47861844
>
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug