[Webkit-unassigned] [Bug 115014] Web Inspector: Add page number to list from remote web inspector.
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Tue Apr 23 18:32:10 PDT 2013
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.
More information about the webkit-unassigned
mailing list