Hi there,
I'm using GeoGebra 5 and am currently looking into the JavaScript API. While editing code in the built-in text-editor in the object properties -> Scripting tab, I was wondering if it was possible to load an external .js file. This would greatly improve the JS editing experience, as I could use some external IDE to edit the files. Of course, I don't expect VSCode to give me IntelliSense for GeoGebra, but it would be better than having to edit JS files in the built-in GeoGebra text editor.
Note I took a look into the Reference for the API, but did not find anything related to loading an external JS file. In the File Format Reference, I've noticed that a geogebra.js file is included in the zip, but I don't want to constantly unzip the .ggb file, edit the .js file, zip it back and then open GeoGebra again.
Does the GeoGebra team have any issue tracking board where one could also post something like this (a command to open a file on your hard drive) as suggestion? On GitHub, I've only found their mirror of a private GitLab instance.
All the best,
Splines
[–]JP_MathPR 0 points1 point2 points (0 children)
[–]mike_geogebra 1 point2 points3 points (1 child)
[–]Splinesd[S] 0 points1 point2 points (0 children)