GeoGebra 脚本
显示脚本
执行脚本
切换工具栏
导出 .ggb 文件
导出脚本
日志将显示在这里...