Bug 146800

Summary: Web Inspector: It should be possible to adjust the font size used by text editors
Product: WebKit Reporter: Jonathan Wells <jonowells>
Component: Web InspectorAssignee: Jonathan Wells <jonowells>
Status: NEW ---    
Severity: Normal CC: graouts, inspector-bugzilla-changes, jonowells, webkit-bug-importer
Priority: P2 Keywords: InRadar
Version: 528+ (Nightly build)   
Hardware: All   
OS: All   

Description Jonathan Wells 2015-07-09 13:13:17 PDT
<rdar://problem/11688833>
Comment 1 Jonathan Wells 2015-07-09 14:10:40 PDT
They should be adjustable by hitting command,+ and command,-
Comment 2 Jonathan Wells 2015-07-09 16:39:39 PDT
This will also increase the size of the type tokens.