Revision c9391aaa376223018f7c8a4d2c92b9cffdb46cfb authored by chou86_e on 13 September 2008, 23:25:27 UTC, committed by chou86_e on 13 September 2008, 23:25:27 UTC
git-svn-id: https://svn.code.sf.net/p/ucblogo/code@199 fc4ef4ee-df3e-0410-84de-fb01f5d6c4f7
1 parent 063fd0f
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.
Computing file changes ...