public:
ViewPump(Glib::ustring _name, int orientacion);
virtual ~ViewPump();
+ virtual std::string get_cap_extra() { return "Estado"; }
+ virtual std::string get_extra() { return (open)?"Encendida":"Apagada"; }
+ bool on_image_expose_event(GdkEventExpose *e);
};
#endif