- Panel(const Resources &);
- ~Panel();
-
- void add(Widget &);
- void button_press(int, int, unsigned);
- void button_release(int, int, unsigned);
- void pointer_motion(int, int);
- void key_press(unsigned, unsigned, wchar_t);
- void key_release(unsigned, unsigned);
- void focus_out();
+ class Loader: public DataFile::DerivedObjectLoader<Panel, Widget::Loader>
+ {
+ public:
+ typedef std::map<std::string, Widget *> WidgetMap;
+
+ protected:
+ WidgetMap &wdg_map;
+ Widget *last_widget;
+
+ public:
+ Loader(Panel &, WidgetMap &);
+ private:
+ Layout &get_layout();
+ Widget &get_last_widget();
+ template<typename T>
+ void arrangement();
+ template<typename T>
+ void child(const std::string &);
+ void constraint(Layout::ConstraintType, const std::string &);
+ void expand(bool, bool);
+ void ghost(bool);
+ void gravity(int, int);
+ void grid(unsigned);
+ void layout();
+ void panel(const std::string &);
+ };
+