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

isee

批量更改点的Label（名称？标签？）大小，直接统一设置即可（不是Advanced 下的 Menu …那个）

isee

网上找了一圈发现都是单独改变某个点的标签大小，或者是字体之类。

于是就意识到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_col … x_and_math#Font_size
wiki.geogebra.org/en/Labels_and_Captions

(整体缩放 help.geogebra.org/topic/when-we-zoom-out-scre … e-like-other-objects）


还有Text也是类似：
help.geogebra.org/topic/how-to-set-the-font-s … ext-object-by-script

isee

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

要挂那啥

isee

顺便升级到 GeoGebra Classic 6-0-472-0 改变太大了，不用退回 5 。

hbghlyj

isee 发表于 2018-6-15 09:11
help.geogebra.org/topic/label-font-size

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

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