Is it planned to use g.setFont("name",scalefactor) for custom fonts?

[espruino-discuss]

Posted at 2020-02-21 by @MaBecker

I really like the custom x11 fonts like FontHaxorNarrow7x17 because they covers the full character set of 32-255.

Was creating this gists to save both parts to flash and add it as custom font.

// set custom font
g.setFontHN7x17();
g.getFonts();
/* output
=[
  "4x6",
  "6x8",
  "Vector",
  "HN7x17"
 ]
*/

look's like it is not possible at the moment to scale them

g.setFont( "HN7x17",2);
/* output
Uncaught Error: Unknown font "HN7x17"
 at line 1 col 22
g.setFont( "HN7x17",2);
                     ^
*/

[gfwilliams]

Posted at 2020-02-24 by @gfwilliams

Ahh. That's interesting - I think that's a 'TODO' in the code - I believe the scaling is implemented, it's just not accessible from JS :) Please can you file an issue for that and I'll try and get it done soon?

[espruino-discuss]

Posted at 2020-02-24 by @MaBecker

I believe the scaling is implemented

Yes and it works great.

Please can you file an issue for that

Sure, just created issue #1762

[gfwilliams]

Posted at 2020-02-25 by @gfwilliams

Now fixed :)