I add this to Bugzilla and it looks like it has been fixed for a future release: https://bugzilla.mozilla.org/show_bug.cgi?id=334256 This means we should be able to edit "pre" xhtml tags more easily, which should please a few people. Max