GeoGeBra 批量更改点的Label(标签)大小
[i=s] 本帖最后由 isee 于 2018-6-15 17:11 编辑 [/i]批量更改点的Label（名称？标签？）大小，直接统一设置即可（不是Advanced 下的 Menu …那个） [i=s] 本帖最后由 isee 于 2018-6-15 17:15 编辑 [/i]
网上找了一圈发现都是单独改变某个点的标签大小，或者是字体之类。
于是就意识到GGB应该有个统一的设置——（不过，我没想到是连同界面，像是整体放缩）——回到主界面又试了下，果然，Opions-Font Size，选择适合的字号即可，([color=Red]不是[/color] Options -> Advanced -> Menu Font Size).
不过，单独改某一个，基本全是借用$\LaTeX$，如
[url]https://help.geogebra.org/topic/label-font-size[/url]
更多：
[url]https://wiki.geogebra.org/en/LaTeX-tips_font_size_color_box_and_math#Font_size[/url]
[url]https://wiki.geogebra.org/en/Labels_and_Captions[/url]
(整体缩放 [url]https://help.geogebra.org/topic/when-we-zoom-out-screen-the-font-does-not-change-its-size-like-other-objects[/url]）
还有Text也是类似：
[url]https://help.geogebra.org/topic/how-to-set-the-font-size-of-a-text-object-by-script[/url] 链接是正常的，如果打不开那是因为 404 了
要挂那啥 [i=s] 本帖最后由 isee 于 2018-6-15 17:30 编辑 [/i]
顺便升级到 GeoGebra Classic 6-0-472-0 改变太大了，不用退回 5 。
页:
[1]