[panel addon] Support dynamic size changes
[panel addon] Support dynamic size changes

Closes issue #5995

codio/CodeMirror,pabloferz/CodeMirror,codio/CodeMirror,nightwing/CodeMirror,pabloferz/CodeMirror,wingify/CodeMirror,nightwing/CodeMirror,dperetti/CodeMirror,hackmdio/CodeMirror,dperetti/CodeMirror,codio/CodeMirror,hackmdio/CodeMirror,wingify/CodeMirror,nightwing/CodeMirror,hackmdio/CodeMirror,dperetti/CodeMirror,wingify/CodeMirror,pabloferz/CodeMirror