Closed
Bug 1096884
Opened 10 years ago
Closed 10 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 |
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•10 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: 10 years ago
Resolution: --- → DUPLICATE
Updated•6 years ago
|
Product: Firefox → DevTools
Updated•4 years ago
|
Product: DevTools → DevTools Graveyard
You need to log in
before you can comment on or make changes to this bug.
Description
•