[Webkit-unassigned] [Bug 146800] Web Inspector: It should be possible to adjust the font size used by text editors

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=146800

--- Comment #2 from Jono Wells <jonowells at apple.com> ---
This will also increase the size of the type tokens.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-unassigned/attachments/20150709/a41cfd3d/attachment.html>