GGB问题记录-批量改变标签字体

1 后续的字体都变成斜体

随意点击一个对象，点属性，进入到全局JavaScript页面，输入如下代码：

function ggbOnInit() {
    ggbApplet.registerAddListener("changeCaptionFont");
}

function changeCaptionFont(objName) {
    ggbApplet.setCaption(objName, "$%n$");
    ggbApplet.setLabelStyle(objName, 3);
}

单击绘图区空白处，保存脚本，退出GGB，再重新进入即可生效，后续创建对象的标签都为斜体了。

2 批量处理已经创建的字体

按照图片操作流程创建一个按钮，直接点【确定】即可。

按照图片操作流程进入到按钮的属性，点击【脚本】，进入到【单击时】，然后左下角切换为JavaScript
输入如下代码

function changeFont() {
    names = ggbApplet.getAllObjectNames();
    for (i = 0; i < names.length; i++) {
        ggbApplet.setCaption(names[i], "$%n$");
        ggbApplet.setLabelStyle(names[i], 3);
    }
}
changeFont();

然后退出属性界面，单击按钮即可实现批量更改字体。

效果展示

参考

参考来源