Changes pushed with changeset 3d5ba47b14f2586fe86eab82582d6751988e6f0a
User
Push date [To Local]
ChangesetPatch author — Commit message
rcampbell@mozilla.com
Tue Aug 02 21:29:44 2011 +0000
3d5ba47b14f2586fe86eab82582d6751988e6f0aRob Campbell — Bug 666650 - [highlighter] create a global toolbar for the highlighter; r=mihai.sucan,gavin.sharp
6eee63caf1c62c71c73fcf7577c54d4fd6d010dbPaul Rouget — Bug 671689 - [highlighter] Nodes should be selectable from the HTML tree; r=rcampbell,gavin.sharp