* code_map/view_mainmap.ml: highlight current node just after go to other dirs,
have to collaborate with lazy_paint and so do things via a hook