Changes pushed with changeset 0619eadbad730fa0123ad62b651a54a59b6b08e3
User
Push date [To Local]
ChangesetPatch author — Commit message
jdescottes@mozilla.com
Wed Mar 08 21:04:47 2017 +0000
8ab40106fe2e3b905b97606ee7facc3ff16d32f1Julian Descottes — Bug 1333714 - update grid highlighter and layout panel on markupmutation;r=gl
0619eadbad730fa0123ad62b651a54a59b6b08e3Julian Descottes — Bug 1333714 - Allow highlighter to be hidden even if current node is not valid;r=zer0