fixes #13247 - make sure Ace editor resizes on fullscreen
(cherry picked from commit 29e517956da1243353ae9e948033c5d5ffeafd87)
fixes #13247 - make sure Ace editor resizes on fullscreen
(cherry picked from commit 29e517956da1243353ae9e948033c5d5ffeafd87)