# 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
Created attachment 372017 [details]
Comment on attachment 372017 [details]
Clearing flags on attachment: 372017
Committed r246419: <https://trac.webkit.org/changeset/246419>
All reviewed patches have been landed. Closing bug.