Skip to main content

Browse the archive

https://github.com/jrincayc/ucblogo-code
23 January 2022, 03:23:30 UTC
Revision 0ea6cb4b5e3417cb18cce2b91399cb77df9abcb4 authored by Joshua J. Cogliati on 31 July 2020, 14:37:55 UTC, committed by Joshua J. Cogliati on 31 July 2020, 14:37:55 UTC 
Removing old mac makefile.
1 parent 062e7aa
Raw File
Tip revision: 0ea6cb4b5e3417cb18cce2b91399cb77df9abcb4 authored by Joshua J. Cogliati on 31 July 2020, 14:37:55 UTC
Removing old mac makefile.
Tip revision: 0ea6cb4
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