Whiteboard/manager: call the highlighter after erasing an action.

This commit is contained in:
Gabriel Morin 2010-08-14 06:44:59 +00:00
parent da3befc4d2
commit efa890e45a

View file

@ -591,6 +591,7 @@ void manager::contextual_delete()
{
viewer_actions()->remove_action(it);
highlighter_->set_mouseover_hex(highlighter_->get_mouseover_hex());
highlighter_->highlight();
}
else //we already check above for viewer_actions()->empty()
{