Dynamic panel

Hello, Im trying to do a panel that will extend or retract itself when you hit the +/- button, just like the ones you have in the layout editor. I've tried to look into the panelview demo but I can't find out where this thing is done. Where's the function when you hit the +/- button? Do you manually animate the panel or does mygui do it for you?

// mr.m

Look at BasePanelView class - resizing is there in updateView() function.