+void ViewNode::HighliteKey (Clave &k)
+{
+ std::list<ViewBTreeData *>::iterator it;
+
+ it = datas.begin ();
+ while (it != datas.end ()) {
+ if ((*(*it)) == k) {
+ if (last_selected)
+ last_selected->SetSelected (false);
+ last_selected = *it;
+ last_selected->SetSelected (true);
+ }
+ it++;
+ }
+}
+