[1.8] Issue 1964 (Font size affecting Script panel) http://code.google.com/p/fbug/issues/detail?id=1964
[1.8] Issue 1964 (Font size affecting Script panel)
http://code.google.com/p/fbug/issues/detail?id=1964

Don't remove the source boxes, just refresh the display

http://code.google.com/p/fbug/source/detail?r=11375

firebug/tracing-console,firebug/tracing-console