Playground app: should fix the editor size issue