void LinkHints::change(ElementProperty *prop) { bool ch = false; Gdk::Rectangle r = prop->parent->drawRect(); for(iterator h = begin(); h != end(); h++) if((*h)->prop == prop) { (*h)->updateText(); ch = true; } if(ch) { r.join(prop->parent->drawRect()); prop->parent->parent->on_redraw_rect.run(&r); } }
Gdk::Rectangle LinkHints::drawRect() { Gdk::Rectangle r; for(iterator h = begin(); h != end(); h++) r.join((*h)->drawRect()); return r; }