WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
198804
Web Inspector: Settings: indent type and size settings aren't respected everywhere
https://bugs.webkit.org/show_bug.cgi?id=198804
Summary
Web Inspector: Settings: indent type and size settings aren't respected every...
Devin Rousso
Reported
2019-06-12 14:27:35 PDT
# STEPS TO REPRODUCE: 1. open Web Inspector 2. go to the Settings tab 3. change the "Prefer indent using" to "Spaces" 4. focus the Console prompt and press ⇥ (tab) => a tab character is inserted, instead of some spaces
Attachments
Patch
(12.93 KB, patch)
2019-06-12 21:27 PDT
,
Devin Rousso
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Devin Rousso
Comment 1
2019-06-12 21:27:04 PDT
Created
attachment 372017
[details]
Patch
WebKit Commit Bot
Comment 2
2019-06-13 19:11:22 PDT
Comment on
attachment 372017
[details]
Patch Clearing flags on attachment: 372017 Committed
r246419
: <
https://trac.webkit.org/changeset/246419
>
WebKit Commit Bot
Comment 3
2019-06-13 19:11:24 PDT
All reviewed patches have been landed. Closing bug.
Radar WebKit Bug Importer
Comment 4
2019-06-13 19:12:18 PDT
<
rdar://problem/51731930
>
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