Note that Firebug's HTML panel already allows you to edit the source. And as I said before while there's no button at the moment for saving these changes directly, you can save them within the selection source window. Furthermore the extension Firediff<https://getfirebug.com/wiki/index.php/Firebug_Extensions#Firediff>allows you to save the changed contents via its panel. And if you want to help us, you can provide a patch for issue 754<http://code.google.com/p/fbug/issues/detail?id=754>implementing this feature into Firebug.
Sebastian On Sunday, December 8, 2013 3:48:50 PM UTC+1, db55 wrote: > > > *This seems so bazaar to me.*On Thursday, September 26, 2013 4:54:07 PM > UTC-4, Sebastian Zartner wrote: >> >> For HTML you even don't need an extension. All you have to do is to press >> Ctrl+A while the page is focused. Right-click the selection and choose *View >> Selection Source*. Then you'll see the HTML markup including all dynamic >> changes and you can save it via *File > Save Page As...* >> > > On my FF install, you can use the context menu to choose *View Selection > Source* (if something selected) or choose *View Page Source* (if nothing > selected); but there is still NO editing of that source. You can select > parts of that source to copy, but there is no cursor ' no editing ' nothing > -- would be pretty sweet if there were. > > > > *And WHY would ppl put all that work into Firebug and NOT provide a save > option -- at least for local files??Firebug could be an awesome compact > little WYSIWYG editor for local files, but??This seems so bazaar to me.* > > > -- You received this message because you are subscribed to the Google Groups "Firebug" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/firebug. To view this discussion on the web visit https://groups.google.com/d/msgid/firebug/4758026d-acdc-4006-82d1-473d61bd9f83%40googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
