找回密码
 快速注册
搜索
查看: 5168|回复: 4

GeoGeBra 批量更改点的Label(标签)大小

[复制链接]

830

主题

4862

回帖

3万

积分

积分
36159

显示全部楼层

isee 发表于 2018-6-15 16:53 |阅读模式
本帖最后由 isee 于 2018-6-15 17:11 编辑 批量更改点的Label(名称?标签?)大小,直接统一设置即可(不是Advanced 下的 Menu …那个)
ggb-label.png

830

主题

4862

回帖

3万

积分

积分
36159

显示全部楼层

 楼主| isee 发表于 2018-6-15 17:09
本帖最后由 isee 于 2018-6-15 17:15 编辑 网上找了一圈发现都是单独改变某个点的标签大小,或者是字体之类。

于是就意识到GGB应该有个统一的设置——(不过,我没想到是连同界面,像是整体放缩)——回到主界面又试了下,果然,Opions-Font Size,选择适合的字号即可,(不是 Options -> Advanced -> Menu Font Size).

不过,单独改某一个,基本全是借用$\LaTeX$,如

help.geogebra.org/topic/label-font-size
更多:
wiki.geogebra.org/en/LaTeX-tips_font_size_color_box_and_math#Font_size
wiki.geogebra.org/en/Labels_and_Captions

(整体缩放 help.geogebra.org/topic/when-we-zoom-out-screen-the-font-does-no ... e-like-other-objects


还有Text也是类似:
help.geogebra.org/topic/how-to-set-the-font-size-of-a-text-object-by-script

830

主题

4862

回帖

3万

积分

积分
36159

显示全部楼层

 楼主| isee 发表于 2018-6-15 17:11
链接是正常的,如果打不开那是因为 404 了

要挂那啥

830

主题

4862

回帖

3万

积分

积分
36159

显示全部楼层

 楼主| isee 发表于 2018-6-15 17:21
本帖最后由 isee 于 2018-6-15 17:30 编辑 顺便升级到 GeoGebra Classic 6-0-472-0 改变太大了,不用退回 5 。
6.png

3149

主题

8386

回帖

6万

积分

$\style{scale:11;fill:#eff}꩜$

积分
65391
QQ

显示全部楼层

hbghlyj 发表于 2025-1-20 02:54
isee 发表于 2018-6-15 09:11
help.geogebra.org/topic/label-font-size

链接是正常的,如果打不开那是因为 404 了


help.geogebra.org 不存在了
GeoGebra 官方帮助和讨论频道现位于 reddit.com/r/geogebra/

手机版|悠闲数学娱乐论坛(第3版)

GMT+8, 2025-3-4 12:37

Powered by Discuz!

× 快速回复 返回顶部 返回列表