godot/modules/navigation/editor
..
navigation_mesh_editor_plugin.cpp
navigation_mesh_editor_plugin.h