https://bugzilla.wikimedia.org/show_bug.cgi?id=5641
Gabriel Wicke <gwi...@wikimedia.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |gwi...@wikimedia.org
--- Comment #7 from Gabriel Wicke <gwi...@wikimedia.org> 2012-11-03 17:42:18
UTC ---
Could this be fully or partly solved using CSS counters?
http://www.w3.org/TR/CSS21/generate.html#counters or
http://dev.opera.com/articles/view/automatic-numbering-with-css-counters/ have
some information about this.
Doing this in an extension would introduce a lot of dependencies between
elements of a page. We are considering to do incremental updates to parts of a
page DOM in the future to improve performance and responsiveness, which would
be complicated by adding more dependencies.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
