more precise name

[?]
Jul 16, 2022, 5:15 AM
H6QZ7GRR2UBK4POXP6PNMYHHW54SJAQYTTFVPQK4YIJZ4FECAPPQC

Dependencies

  • [2] ELIVOJ4N bugfix: zoom in/out hotkeys
  • [3] CNCYMM6A make test initializations a little more obvious
  • [4] 2L5MEZV3 experiment: new edit namespace
  • [5] LNUHQOGH start passing in Editor_state explicitly
  • [6] XSLCFVFH .
  • [7] BJ5X5O4A let's prevent the text cursor from ever getting on a drawing
  • [8] AVTNUQYR basic test-enabled framework
  • [9] Z4KNS42N to open a file without a terminal, drag it on!
  • [10] AJB4LFRB try to maintain a reasonable line width
  • [11] LF7BWEG4 group all editor globals
  • [12] QCPXQ2E3 add state arg to a few functions
  • [*] OTIBCAUJ love2d scaffold
  • [*] APYPFFS3 call edit rather than App callbacks in tests

Change contents

  • edit in main.lua at line 126
    [4.7][2.8:293]()
    function initialize_font_settings(font_height)
    Editor_state.font_height = font_height
    love.graphics.setFont(love.graphics.newFont(Editor_state.font_height))
    Editor_state.line_height = math.floor(font_height*1.3)
    Editor_state.em = App.newText(love.graphics.getFont(), 'm')
    end
  • replacement in edit.lua at line 336
    [4.11991][4.7756:7806]()
    initialize_font_settings(State.font_height+2)
    [4.11991]
    [4.6787]
    edit.update_font_settings(State, State.font_height+2)
  • replacement in edit.lua at line 339
    [4.12086][4.7807:7857]()
    initialize_font_settings(State.font_height-2)
    [4.12086]
    [4.6815]
    edit.update_font_settings(State, State.font_height-2)
  • replacement in edit.lua at line 342
    [4.12181][4.12181:12214]()
    initialize_font_settings(20)
    [4.12181]
    [4.6843]
    edit.update_font_settings(State, 20)
  • edit in edit.lua at line 453
    [15.6146]
    [3.5371]
    function edit.update_font_settings(State, font_height)
    State.font_height = font_height
    love.graphics.setFont(love.graphics.newFont(Editor_state.font_height))
    State.line_height = math.floor(font_height*1.3)
    State.em = App.newText(love.graphics.getFont(), 'm')
    end