Issue 4055: File selection should be preserved on reload
Issue 4055: File selection should be preserved on reload

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

firebug/tracing-console,firebug/tracing-console