Fix a minor bug in the GraphTool.#1395

somiaj merged 1 commit into

openwebwork:PG-2.21openwebwork/pg:PG-2.21from

drgrice1:bugfix/jsxgraph-invalid-objectdrgrice1/pg:bugfix/jsxgraph-invalid-objectCopy head branch name to clipboard