Skip to main content

Browse the archive

https://github.com/jrincayc/ucblogo-code
19 February 2023, 21:27:03 UTC
Revision 5d18e80864eb0edade94c46f6e180952129f0f25 authored by Joshua J. Cogliati on 28 December 2020, 17:31:21 UTC, committed by Joshua J. Cogliati on 28 December 2020, 17:31:21 UTC 
Merge remote-tracking branch 'origin/master' into release_6_2_work
2 parent s 707422d + d8fc446
Raw File
Tip revision: 5d18e80864eb0edade94c46f6e180952129f0f25 authored by Joshua J. Cogliati on 28 December 2020, 17:31:21 UTC
Merge remote-tracking branch 'origin/master' into release_6_2_work
Tip revision: 5d18e80
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.
back to top