swh:1:snp:7c21d1ef6b1a940ffbcf193284a7f8d0c51062e7
Tip revision: 0737e8121aad00e24c12d1e9ec6ab3526e7dd033 authored by Joshua Cogliati on 19 February 2023, 16:37:16 UTC
Merge pull request #159 from dmalec/ISSUE-158-LIB-DEPENDENCIES
Merge pull request #159 from dmalec/ISSUE-158-LIB-DEPENDENCIES
Tip revision: 0737e81
setlabelheight
SETLABELHEIGHT height
command (wxWidgets only). Takes a positive integer argument and tries
to set the font size so that the character height (including
descenders) is that many turtle steps. This will be different from
the number of screen pixels if SETSCRUNCH has been used. Also, note
that SETSCRUNCH changes the font size to try to preserve this height
in turtle steps. Note that the query operation corresponding to this
command is LABELSIZE, not LABELHEIGHT, because it tells you the width
as well as the height of characters in the current font.