result grid no longer resizable after "hide editor" plsql dev 14

[stefanz]

hi,
when I use hide editor to display only the result grid, and then revert again, I can no longer resize the result grid up/down in plsql developer 14.
Stefan

 

[Marco Kalter]

I can indeed reproduce this. We'll fix it.