xaccrocheur wrote:spiny wrote:
pixi_font (whatever)

You meant
set_font(whatever) right? Or is
pixi_font() a function that you defined elsewhere? Or maybe a builtin from an earlier version..?
Please, can you kindly show me how
set_font() works, so I can understand how to use different fonts (well, actually the same, only resized at 200% (w/o interpolation) at the same time? And if it is not possible (after all, no example file shows text displayed in more than one way) please, tell me.
I was using v2 of pixilang when I started this thread, the font stuff has changed in v3, so pixi_font (whatever) is no longer a valid command.
V3 uses this (which you probably know) :
font = load( "font5.gif" )
set_font( 32, font, 10, 10 )
to use multiple fonts, just define another one, the code might look like this:
font = load( "font5.gif" )
font2 = load("whatever.gif")
set_font( 32, font, 10, 10 )
print( "font one", 0, 100)
set_font( 32, font2, 10, 10 )
print( "font two", 0, 200)
I think
