Bug 36552
| Summary: | Web Inspector: Ability to set the font size bigger | ||
|---|---|---|---|
| Product: | WebKit | Reporter: | Mike Wilcox <mike> |
| Component: | Web Inspector (Deprecated) | Assignee: | Nobody <webkit-unassigned> |
| Status: | RESOLVED FIXED | ||
| Severity: | Enhancement | CC: | bweinstein, diego, joepeck, keishi, pfeldman, pmuellr, rik |
| Priority: | P2 | ||
| Version: | 528+ (Nightly build) | ||
| Hardware: | All | ||
| OS: | All | ||
Mike Wilcox
Ability to set the font size bigger
The console messages are pretty small. While actually not bad for me, I imagine some have trouble. And when I do a presentation / examples using WebKit, I can't adjust the font size to be bigger for the monitor.
| Attachments | ||
|---|---|---|
| Add attachment proposed patch, testcase, etc. |
Diego Barros
+1 for this also. The font is too small and would love to see this be configurable. Even if it was through a CSS file somewhere (given that that modification in a CSS file was not overwritten with each update).
Pavel Feldman
Press Ctrl +/- (Cmd + / -).
Diego Barros
I'm sorry that I wasn't clear. I did not mean the font on a web page you're viewing, I meant the font in the Web Inspector.
For example, when I'm viewing HTML or JavaScript in the Web Inspector the font is too small. It would be great to be able to set (or increase) the font size there.
Pavel Feldman
Yep. Just do that in the inspector window. It works at least in Chrome - it zooms inspector content itself.
Diego Barros
But not in Safari, or the OS X WebKit Nightlies?
Diego Barros
Thanks for the tip, but I was aware of it being possible in Chrome. Just not so in Safari.
Pavel Feldman
Oh, ok, I'll take a look. Thanks for the heads up.
Diego Barros
My apologies. I should have given more details, I should know better. Will do next time. :)
Pavel Feldman
It works for me on WK1 (Safari prior to 5.1), so it is probably a WK2 issue. What is your Safari version? Btw, did you try undocking / docking the inspector window and pressing Cmd + / - in that mode?
Diego Barros
I tried on Safari 6.0 (8536.25) and the latest WebKit nightly 6.0 (8536.25, 537+).
I did try it while the inspector is docked and undocked. When undocked, nothing happens. When docked, only the web page is increased/decreased, not the Web Inspector's content itself.
Pavel Feldman
> I did try it while the inspector is docked and undocked. When undocked, nothing happens. When docked, only the web page is increased/decreased, not the Web Inspector's content itself.
Just checked it on Safari 6 with latest WebKit nightly - it works as intended. The only place it does not work is new Safari tools. New Safari inspector front-end has no relation to WebKit, please file the bug against Safari.