graph-mouse-1.1.js: GraphEditor - fix callback bug + fix table vertex resize + add content validation
graph-mouse-1.1.js: GraphEditor - fix callback bug + fix table vertex resize + add content validation
France-ioi/bebras-modules,France-ioi/bebras-modules