67534 - Page reload occurs when viewing source, change character coding

Status: VERIFIED DUPLICATE of bug 55583

(SeaMonkey :: General, defect)

Description

[c.h.ip]

From Bugzilla Helper:
User-Agent: Mozilla/5.0 (X11; U; Linux 2.2.17-21mdk i686; en-US; m18) Gecko/20010130
BuildID:    2001013010

It's quite annoying that everytime I wish to change the charset setting, or want
to read the source code, the browser must do a reload (even the page content
have been cached in memory beforehand).

When doing PHP debugging work, this behaviour may cause data loss (ie, the
source code generatored is *different* to the original page loaded).

Reproducible: Always
Steps to Reproduce:
- clean caches; restart mozilla;
- browse anything you want;
- try change the character coding by 'view -> character coding'
or
- try 'view -> page source'

a reload occurs.

Actual Results:  a page reload occurs.

Expected Results:  does reload really necessary?

Comment 1

[Jesse Ruderman]

bug 17889  Changing character set reloads the page from web
bug 55583  view-source should show original source

Both bugs depend on bug 40867, "Need means to reuse/reload current page without 
refetching from server".

*** This bug has been marked as a duplicate of 55583 ***

Comment 2

[Stephan Niemz]

verified duplicate