• 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);
                         ^
    */
    
  • 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?

  • I believe the scaling is implemented

    Yes and it works great.

    Please can you file an issue for that

    Sure, just created issue #1762

  • Now fixed :)

  • Post a reply
    • Bold
    • Italics
    • Link
    • Image
    • List
    • Quote
    • code
    • Preview
About

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

Posted by Avatar for MaBe @MaBe

Actions