20 #ifndef _WIDGETS_PANE_H_
21 #define _WIDGETS_PANE_H_
58 typedef std::vector<std::shared_ptr<Child> >
Children;
63 void set_divider (std::vector<float>::size_type divider,
float fract);
64 float get_divider (std::vector<float>::size_type divider = 0)
const;