I don't know if you noticed that when you fixed the HTML pane problem. But I just realised that the properties pane has the same problem.

(also had a few crashes when rapidly closing opening the panes)

 

[Pierre : I think we need another version ASAP to only address these few potentially "dangerous" bugs]