82964 - Make location bar history case-sensitive for javascript: URLs

Status: RESOLVED WONTFIX

(Core Graveyard :: History: Global, defect)

Description

[Alex Vincent [:WeirdAl]]

From Bugzilla Helper:
User-Agent: Mozilla/5.0 (Windows; U; Win98; en-US; rv:0.9) Gecko/20010505
BuildID:    Mozilla/5.0 (Windows; U; Win98; en-US; rv:0.9) Gecko/20010505

The location bar in Mozilla0.9 is currently not case-sensitive for javascript:
URLs.  Normally, for URLs, this is perfectly acceptable -- the WWW does not care
about uppercase or lowercase.  However, for JavaScript, uppercase and lowercase
make a big difference.

Reproducible: Always
Steps to Reproduce:
1.  Type javascript:alert(typeof(document)) into your location bar and press
Enter.  Clear the alert.
2.  Type javascript:alert(typeof(Document)) into your location bar and press
Enter.  Clear the alert.
3.  Click on the dropdown arrow for previous history entries.

Actual Results:  A listing for javascript:alert(typeof(Document)).  No listing
for javascript:alert(typeof(document)).

Expected Results:  A listing for javascript:alert(typeof(Document)) and a
separate listing for javascript:alert(typeof(document)).

Comment 1

[Radha on family leave (not reading bugmail)]

This belongs to the browser group

Comment 2

[Boris Zbarsky [:bzbarsky]]

ccing hewitt.

Comment 3

[Peter Trudelle]

->hewitt

Comment 4

[Greg K.]

Reassigning to History: Global.

Comment 5

[O. Atsushi (Torisugari)]

This bug is impossible to reproduce, for now "javascript:..." URIs are not listed in location bar's history, unless such a URI is that of an existing tab. And if both
 javascript:alert(typeof(Document))
and
 javascript:alert(typeof(document))
are typed in different tabs, both are listed. This is WFM or INVALID.