976004 - devtools.webconsole.fontSize doesn't have any effect anymore

Status: RESOLVED INVALID

(DevTools :: Console, defect)

Description

[Cork]

devtools.webconsole.fontSize has stopped having any effect since 2013-09-16

STR:
 1. goto about:config?filter=devtools.webconsole.fontSize
 2. set the value to 20
 3. restart the browser
 4. hit ctrl+shift+k

Expected result:
 The fonts for the console should be 20px

Actual result:
 No effect what so ever.

Last good revision: 2cd9d6be6dc2
First bad revision: 2980ed8667f3
Pushlog:
http://hg.mozilla.org/integration/mozilla-inbound/pushloghtml?fromchange=2cd9d6be6dc2&tochange=2980ed8667f3

I suspect this might be caused by bug 892268 or bug 916601 and this might be intentional, but none of those bugs state this as an intentional effect.

Comment 1

[Girish Sharma [:Optimizer]]

This is not a regression, but a change, as suggested by bug 916601's description too.

Now that we have global toolbox level zoom shortcuts and pref "devtools.toolbox.zoomValue", we do not need a webconsole specific shortcut and pref.

The pref devtools.webconsole.fontSize is only for Browser Console now, as it is not inside the toolbox.

Comment 2

[Cork]

OK, sounds good. Should the old pref not be removed? It is still listed in about:config

Comment 3

[Girish Sharma [:Optimizer]]

The old pref is used for browser console. Change the value and open browser console (Ctrl + Shift + J)

Comment 4

[Cork]

That makes it definite then.