Skip to main content

Browse the archive

https://github.com/jrincayc/ucblogo-code
26 January 2024, 08:32:23 UTC
Revision ad2aafdb76721bf7ee061407f6a92e005841f163 authored by Joshua Cogliati on 28 June 2022, 01:19:29 UTC, committed by GitHub on 28 June 2022, 01:19:29 UTC 
Merge pull request #135 from dmalec/ISSUE-134
 
ISSUE-134: Fixed issue with LOADPICT if it's called before other turtle commands
2 parent s 7301609 + 3504376
Raw File
Tip revision: ad2aafdb76721bf7ee061407f6a92e005841f163 authored by Joshua Cogliati on 28 June 2022, 01:19:29 UTC
Merge pull request #135 from dmalec/ISSUE-134
Tip revision: ad2aafd
settextsize 
SETTEXTSIZE height

	command (wxWidgets only).  Set the "point size" of the font used in
	the text and edit windows to the given integer input.  The desired
	size may not be available, in which case the nearest available size
	will be used.  Note: There is only a slight correlation between these
	integers and pixel sizes.  Our rough estimate is that the number of
	pixels of height is about 1.5 times the point size, but it varies for
	different fonts.  See SETLABELHEIGHT for a different approach used for
	the graphics window.
back to top