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 Inspector | Assignee: | 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 | ||
Jonathan Wells
<rdar://problem/11688833>
| Attachments | ||
|---|---|---|
| Add attachment proposed patch, testcase, etc. |
Jonathan Wells
They should be adjustable by hitting command,+ and command,-
Jonathan Wells
This will also increase the size of the type tokens.