maintain the initial font size in a global

Dependencies

• [2] EADS554A fix previous merge
• [3] H5UZI3YN editor documentation
• [4] YCYCQOFC bugfix: on.load_settings when there are none
• [5] DSDKFEUK persist window geometry to disk across restart
• [6] MPETAKZ2 insert space for loading settings
• [7] FRXBX5FC create space for app-specific settings
• [*] N2NUGNN4 include a brief reference enabling many useful apps
• [*] OTIBCAUJ love2d scaffold
• [*] 36Z442IV back to commit 8123959e52f without code editing
• [*] WQOSZSUE warn on unused commandline args

Change contents

• edit in reference.md at line 23
  [9.508]

  [9.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.)
• edit in reference.md at line 244
  [3.1654]

  [3.1654]
  + * `edit.update_font_height(state, font_height)` -- updates all state dependent

  + on font height.

  +
• edit in main.lua at line 38
  [11.2321]

  [12.8]
  +

  + Font_height = 20
• replacement in main.lua at line 117
  [4.58]→[4.58:147](∅→∅)
  − local font_height = 20

  − love.graphics.setFont(love.graphics.newFont(font_height))
  [4.58]

  [2.10]
  + Font_height = 20

  + love.graphics.setFont(love.graphics.newFont(Font_height))