Bug 198804 - Web Inspector: Settings: indent type and size settings aren't respected everywhere
Summary: Web Inspector: Settings: indent type and size settings aren't respected every...
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Web Inspector (show other bugs)
Version: WebKit Nightly Build
Hardware: All All
: P2 Normal
Assignee: Devin Rousso
URL:
Keywords: InRadar
Depends on:
Blocks:
 
Reported: 2019-06-12 14:27 PDT by Devin Rousso
Modified: 2019-06-13 19:12 PDT (History)
5 users (show)

See Also:

Attachments
Patch (12.93 KB, patch)
2019-06-12 21:27 PDT, Devin Rousso 		no flags Details | Formatted Diff | Diff
View All 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 Devin Rousso 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
Comment 1 Devin Rousso 2019-06-12 21:27:04 PDT 
Created attachment 372017 [details]
Patch
Comment 2 WebKit Commit Bot 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>
Comment 3 WebKit Commit Bot 2019-06-13 19:11:24 PDT 
All reviewed patches have been landed.  Closing bug.
Comment 4 Radar WebKit Bug Importer 2019-06-13 19:12:18 PDT 
<rdar://problem/51731930>