[1.8 &1.7] Issue 4210: 	Firebug CSS Edit no longer supports source edits; Warn user if the styleSheet has been edited and they pick source editing
[1.8 &1.7] Issue 4210: 	Firebug CSS Edit no longer supports source edits;
Warn user if the styleSheet has been edited and they pick source editing

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

firebug/tracing-console,firebug/tracing-console