Bug 198804

Summary:

Web Inspector: Settings: indent type and size settings aren't respected everywhere

Product:

WebKit

Reporter:

Devin Rousso <hi>

Component:

Web Inspector

Assignee:

Devin Rousso <hi>

Status:

RESOLVED FIXED

Severity:

Normal

CC:

commit-queue, hi, inspector-bugzilla-changes, timothy, webkit-bug-importer

Priority:

Keywords:

InRadar

Version:

WebKit Nightly Build

Hardware:

All

OS:

All

Attachments:

Description	Flags
Patch	none

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>