https://github.com/jrincayc/ucblogo-code
Revision 68a93248641e91314d2700e8a3c6ba0c73ba5422 authored by Joshua J. Cogliati on 27 December 2021, 16:56:40 UTC, committed by Joshua J. Cogliati on 27 December 2021, 16:56:40 UTC
1 parent e3a5d7a
Tip revision: 68a93248641e91314d2700e8a3c6ba0c73ba5422 authored by Joshua J. Cogliati on 27 December 2021, 16:56:40 UTC
Updating version to 6.2.2pre1
Updating version to 6.2.2pre1
Tip revision: 68a9324
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.
Computing file changes ...