* code_map/model2.ml: current_node_selected
* code_map/view2.ml: remove some menu