graph-mouse-1.1.js: GraphEditor - edit label or content depending on click position
graph-mouse-1.1.js: GraphEditor - edit label or content depending on click position
France-ioi/bebras-modules,France-ioi/bebras-modules