Jonathan Westhues 2dbb21aecd Add special characters to font, to represent checkboxes and radio ...

buttons. This requires some tools to convert .png images to that,
and that I put the characters in a two-dimensional grid in the
texture (since one-dimensional strip gets wider than the hardware
supports).

[git-p4: depot-paths = "//depot/solvespace/": change = 2138]

2010-05-08 17:20:02 -08:00

231 B

16x16px

Raw History