Closed
Bug 1096884
Opened 11 years ago
Closed 11 years ago
Cannot change the font size in the WebIDE editor
Categories
(DevTools Graveyard :: WebIDE, defect)
Tracking
(Not tracked)
RESOLVED
DUPLICATE
of bug 1027817
People
(Reporter: danyil.bohdan+mozbug, Unassigned)
Details
Attachments
(1 file)
|
87.20 KB,
image/png
|
Details |
Firefox WebIDE HelloWorld.png
User Agent: Mozilla/5.0 (X11; Linux x86_64; rv:33.0) Gecko/20100101 Firefox/33.0
Build ID: 20141015093046
Steps to reproduce:
I tried pressing <Control> and <+> / <-> and holding <Control> and using the scroll wheel to change the font size in the editor. This was in Firefox Developer Edition 35.0a2 (2014-11-10) on Linux (Fedora 20).
Actual results:
The font size did not change.
Expected results:
I expected the font size to change like it does in the source viewer.
|
Reporter | |
Updated•11 years ago
|
Component: Untriaged → Developer Tools: WebIDE
This has just been added to Nightly (36) in bug 1027817. It will make it up to Dev Edition during the next merge (2014-11-24).
Status: UNCONFIRMED → RESOLVED
Closed: 11 years ago
Resolution: --- → DUPLICATE
|
||
Updated•7 years ago
|
Product: Firefox → DevTools
|
|
||
Updated•5 years ago
|
Product: DevTools → DevTools Graveyard
You need to log in
before you can comment on or make changes to this bug.
Description
•