My favorites | Sign in
Project Home Wiki Issues
New issue   Search
for
  Advanced search   Search tips   Subscriptions
Issue 6252: Text size of Command Editor can't be changed
1 person starred this issue and may be notified of changes. Back to list
 
Reported by john.wil...@gmail.com, Feb 7, 2013
Steps to Reproduce
1. Open Firebug and pick the Console tab.
2. Expand the JavaScript scratch pad with the round, grey icon to the lower right.
3. Write some JavaScript code in the scratch pad just to see its size.
4. Click (as in set focus on) the output console to the left.
5. Increase text size, either by keyboard shortcut or clicking the firebug -> Text Size -> Increase text size.
6. Not how all parts of the Firebug GUI gets increased text size except the JavaScript scratch pad.

See attached screen shot.

What is the expected result?
I expect all parts of the Firebug GUI to get increased text size including the JavaScript scratch pad. I use it for JavaScript demos during technical talks and Firebug was the only scratch pad out there that allowed me to increase the text size and let the attendees see what I wrote. So sad it's broken.

What do you see instead?
The JavaScript scratch pad keeps its small text size.

Firebug version (number):
1.11.1

Browser version:
18.0.2

Operating system:
OS X 1.8.2
screenshot_firebug_script_console_text_size_bug.png
92.9 KB   View   Download
Feb 7, 2013
Project Member #1 florent....@gmail.com
Hello,

I can reproduce the issue. Thanks for the report!

Florent
Status: Triaged
Cc: florent....@gmail.com
Labels: Type-Defect commandline 1.12a2 Test-case-available
Feb 7, 2013
Project Member #2 florent....@gmail.com
Looks like this is an intended behavior, since the editor is buggy when zooming. See  issue 5488 .

Note that Orion (the current editor in Firebug) might be replaced later: https://bugzilla.mozilla.org/show_bug.cgi?id=816756

Florent
Status: WontFix
Owner: florent....@gmail.com
Cc: -florent....@gmail.com
Feb 14, 2013
Project Member #3 florent....@gmail.com
I reopen the bug. Even if, as explained above, this issue is related to Orion (provided by Firefox), it is still a bug that has to be fixed.

NB: related bug in bugzilla: https://bugzilla.mozilla.org/show_bug.cgi?id=760825

Florent
Status: Triaged
Owner: ---
Cc: florent....@gmail.com sebastia...@gmail.com
Labels: platform
Feb 14, 2013
Project Member #4 sebastia...@gmail.com
(No comment was entered for this change.)
Summary: Text size of Command Editor can't be changed (was: Cannot change text size of JavaScript console)
Labels: -1.12a2 1.12-a2
Jun 8, 2013
Project Member #5 florent....@gmail.com
That's being fixed in the JSD2 branch, with the Code Mirror integration.

Note that when zooming, the lines in the command editor are overlapped (as in the attached screenshot).

Florent
zoom_command_line.png
22.1 KB   View   Download
Status: Started
Cc: farshid....@gmail.com
Labels: -1.12-a2 -platform 1.12-a7 jsd2
Blockedon: fbug:5353
Jun 8, 2013
Project Member #6 florent....@gmail.com
(No comment was entered for this change.)
Blocking: fbug:5353
Jun 8, 2013
Project Member #7 sebastia...@gmail.com
> Labels: -1.12-a2 -platform 1.12-a7 jsd2 
Note that the version number label indicates in which version the defect was detected. So there's no need to change it to a newer version.

Sebastian
Jun 9, 2013
Project Member #8 farshid....@gmail.com
> Note that when zooming, the lines in the command editor are overlapped
That's is fixed at: https://github.com/firebug/firebug/commit/087594951394e1800904cf3ad5eb1a1e7905b606

@Sebastian: I'm not sure whether I should set myself as owner, since I can see the issue is marked as "Started" but without a owner. Also regarding to the issue is fixed on jsd2 branch.

Farshid
Jun 9, 2013
Project Member #9 florent....@gmail.com
> That's is fixed at: https://github.com/firebug/firebug/commit/087594951394e1800904cf3ad5eb1a1e7905b606

Nice!

> I'm not sure whether I should set myself as owner, since I can see the issue is marked as "Started" but without a owner.

Nah, I just left the owner blank so anyone could take the issue to fix the remaining points (if you hadn't the time). 

> Also regarding to the issue is fixed on jsd2 branch.
See https://code.google.com/p/fbug/issues/detail?id=4571#c5 for the similar discussion ;).

Florent
Owner: farshid....@gmail.com
Cc: -farshid....@gmail.com
Jun 9, 2013
Project Member #10 sebastia...@gmail.com
>> I'm not sure whether I should set myself as owner, since I can see the issue is
>> marked as "Started" but without a owner.
> Nah, I just left the owner blank so anyone could take the issue to fix the remaining 
> points (if you hadn't the time).
In general an issue without owner means no one is currently working on it. The status "Started" just means that someone already fixed a part of it. Though to be sure you can always ask the person that set the status to "Started".

Sebastian
Sep 16, 2013
Project Member #11 sebastia...@gmail.com
(No comment was entered for this change.)
Status: Commit
Feb 11, 2014
Project Member #12 sebastia...@gmail.com
(No comment was entered for this change.)
Blockedon: -fbug:5353
Mar 26, 2014
Project Member #13 odva...@gmail.com
This issue has been fixed in Firebug 2.0
https://getfirebug.com/releases/firebug/2.0/firebug-2.0a1.xpi

Please let us know how it works for you

Thanks for the help!

Honza


Status: Fixed
Labels: fixed-2.0-a1
Sign in to add a comment

Powered by Google Project Hosting