graph-mouse-1.1.js: graphEditor - create vertex only when dblclick on empty space
graph-mouse-1.1.js: graphEditor - create vertex only when dblclick on empty space
France-ioi/bebras-modules,France-ioi/bebras-modules