Closed Bug 637897 Opened 14 years ago Closed 14 years ago

Make Loaded Scripts Search case-insensitive

Categories

(Other Applications Graveyard :: Venkman JS Debugger, enhancement)

enhancement
Not set
normal

Tracking

(Not tracked)

RESOLVED FIXED

People

(Reporter: InvisibleSmiley, Assigned: InvisibleSmiley)

Details

Attachments

(1 file, 1 obsolete file)

Attached patch patch (obsolete) — Splinter Review
Something that has always been bugging me: The scripts search is case-sensitive. This is not user-friendly at all, and since I don't see any major use case for the current behavior I suggest we don't even provide an option (like a hidden pref) for getting the old behavior back.
Attachment #516052 - Flags: review?
Attachment #516052 - Flags: review? → review?(gijskruitbosch+bugs)
While I was waiting for a review I thought I'd just as well fix this for real, i.e. make the filter apply in all cases and not just for the files that are currently listed. What happens without the patch I'm attaching is that files are just added to the scripts view without taking the current filter into account. To apply the filter to the new files you have to modify the filter, which is bad design. Instead the filter should apply at all times, which is what my new patch does. Note: The scriptsView tests are needed because scriptsView.currentContent is not yet defined in the startup case so getChildById would throw without that check. Not having a pattern in that case is OK because you cannot have a filter applied that early anyway. ;-)
Attachment #516052 - Attachment is obsolete: true
Attachment #516052 - Flags: review?(gijskruitbosch+bugs)
Attachment #517007 - Flags: review?(gijskruitbosch+bugs)
Comment on attachment 517007 [details] [diff] [review] extended patch [Checkin: comment 3] Trying someone else for review in Gijs's absence.
Attachment #517007 - Flags: review?(silver)
Attachment #517007 - Flags: review?(silver) → review?(timeless)
Attachment #517007 - Flags: review?(timeless) → review+
Attachment #517007 - Attachment description: extended patch → extended patch [Checkin: comment 3]
Attachment #517007 - Flags: review?(gijskruitbosch+bugs)
Status: ASSIGNED → RESOLVED
Closed: 14 years ago
Resolution: --- → FIXED
Product: Other Applications → Other Applications Graveyard
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Created:
Updated:
Size: