Bug 198804

Summary: Web Inspector: Settings: indent type and size settings aren't respected everywhere
Product: WebKit Reporter: Devin Rousso <hi>
Component: Web InspectorAssignee: Devin Rousso <hi>
Status: RESOLVED FIXED    
Severity: Normal CC: commit-queue, hi, inspector-bugzilla-changes, timothy, webkit-bug-importer
Priority: P2 Keywords: InRadar
Version: WebKit Nightly Build   
Hardware: All   
OS: All   
Attachments:
Description Flags
Patch none

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
DetailsFormatted DiffDiff
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.