chore: update and prune embedded GeoGebra (#41)

Reviewed-on: #41
Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Co-committed-by: Glen Whitney <glen@studioinfinity.org>
This commit is contained in:
Glen Whitney 2023-10-08 22:15:11 +00:00 committed by Glen Whitney
parent 25ba69c621
commit fff75f67e3
58 changed files with 42763 additions and 42777 deletions

View file

@ -53,9 +53,8 @@ function postApplets(jApplets: AppletDescription[], codebase = '')
// Get rid of the xy-plane indicator
xml .= api.getXML()
xml = xml.replace /plate.show="\w+"/, 'plate show="false"'
console.log 'Trying', xml
api.setXML xml
else
else if codebase.includes 'web3d'
api.setPerspective 'G'
for name, value in jApp.params
dispatchJcommand
@ -76,7 +75,6 @@ function postApplets(jApplets: AppletDescription[], codebase = '')
api.setGridVisible false
} as const
geoApp := new GGBApplet params
console.log 'About to inject', jApp.id, 'with', codebase
if codebase then geoApp.setHTML5Codebase codebase
geoApp.inject jApp.id
@ -424,7 +422,6 @@ classHandler: Record<JoyceClass, ClassHandler> :=
commands.push `${destination} = Segment(${start}, ${end})`
else destination = args.line[0]
n := method is 'angleBisector' ? 2 : args.scalar?[0]
console.log 'Dividing angle', start, center, end, 'by', n
inPlane := is3d ? `, Plane(${start}, ${center}, ${end})` : ''
commands.push
`${aux}2 = Angle(${start}, ${center}, ${end}${inPlane})`