text-font does not respect the font size argument about code.pyret.org

[blerner]

I think you're misreading -- both maybeSize arguments are checked as annBytes. The checker functions are asking "does this possibly-valid-size value satisfy the annByte annotation?" The difference between c and c3 are just the arities of the checking -- c3 is hard-coded to three argument/annotation pairings.

[blerner]

I don't see any problem:

That looks like full font-size to me...and it works with the image-typed library as well as the image-untyped one. What call are you trying to make, that doesn't seem to be working?

[schanzer]

Whoa. OK, I can only chalk this up to gremlins or my own creeping insanity.

I opened one of the Bootstrap example games and switched the context to use a newer file I'm working on. Changes made in that file were not reflected in the game (after the usual "publish, refresh, update-context, run" cycle), so eventually I tried to copy/pasting the examples from the documentation in the REPL and getting the same weird result.

But yeah, upon opening a fresh tab and doing the exact same thing, I'm now seeing the expected behavior. Sorry for the false alarm! (But I am curious why we use different annotations for size in the two text functions...)