akkartik/wardley.love - Change HTXORJM23W2MSNHZYF7UJCLSHY3A5LT6IXCNZPM35DHEKFKCIOHAC

maintain the initial font size in a global

Apps should keep the global updated when changing the font size.

Created by Kartik K. Agaram on June 6, 2023

HTXORJM23W2MSNHZYF7UJCLSHY3A5LT6IXCNZPM35DHEKFKCIOHAC

Dependencies

In channels

main

Change contents

Insertion in reference.md at line 23 [4.17]

[4.508]


* `Font_height` -- remembers the current font height on initialization. But
  you're responsible for setting it when updating font height. (Think of this
  as the body font, but apps so far assume a single font size.)

Insertion in reference.md at line 244 [4.17]

[3.1654]

* `edit.update_font_height(state, font_height)` -- updates all state dependent
  on font height.

Insertion in main.lua at line 38 [7.2]
[5.2321]
[6.8]
```
  Font_height = 20
```

Replacement in main.lua at line 117 [7.2]

B:BD[8.58] → [8.58:147]

    local font_height = 20
    love.graphics.setFont(love.graphics.newFont(font_height))

[8.58]

[2.10]

    Font_height = 20
    love.graphics.setFont(love.graphics.newFont(Font_height))