Hallo!
Gewünschten Bereich markieren (z.B. alles per Strg+A), Kontextmenü, "View Selection Source".
Wow!
Da sind auch die Leerzeichen weg! Und: Ist ja alles anders als ich dachte :-)
Bis jetzt vermeinte ich in den "Quelltext ansehen"-Features der Browser, daß ich zu Gesicht bekomme, was "er" (der Browser) sieht. Und das scheint auch jetzt nicht falsch zu sein, neu ist, das Browser den empfangengen Quelltext noch "manipulieren"!
... Der Generated Source ist das, was Mozilla aus dem vom Server gelieferten Quellcode macht, um ihn nutzen zu können; also z.B. nach Fehlerkorrekturen und dem Hinzufügen weggelassener optinaler Tags wie </p> und <tbody>.
Ich muß mich auf die Suche machen wie der Generated Source bei Opera und IE einsehbar ist.
Herzlichen Dank,
Viennamade