[Webkit-unassigned] [Bug 115014] Web Inspector: Add page number to list from remote web inspector.

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=115014





--- Comment #6 from Joseph Pecoraro <joepeck at webkit.org>  2013-04-23 18:30:29 PST ---
> Are the #s important? It looks like the backend generates this array from HashMap iterators. I don't think that guarantees the order of items. Should the items be sorted somewhere here so the numbers don't change seemingly randomly if the Hashmap changes its size?

I forgot to mention here, but I did on IRC, an <ol> would probably work too.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.