akkartik/lines-mobile.love - Change YD46MI2FYKOWUUVGYRRRSDEXYJUJKZO5RFVUBJBCNMZYVS3MXDAQC

set up Font_height and Line_height globals

I've been resisting this. Why? Maybe push it to all forks.

Created by Kartik K. Agaram on March 25, 2023

YD46MI2FYKOWUUVGYRRRSDEXYJUJKZO5RFVUBJBCNMZYVS3MXDAQC

Dependencies

In channels

main

Change contents

Insertion in run.lua at line 9 [5.178044]

[5.178196]

[4.16]

  Font_height = 20
  Line_height = math.floor(Font_height*1.3)

Replacement in run.lua at line 61 [5.178044]

B:BD[5.179375] → [5.179375:179444]

  love.graphics.setFont(love.graphics.newFont(Settings.font_height))

[5.179375]

[6.16]

  Font_height = Settings.font_height
  Line_height = math.floor(Font_height*1.3)
  love.graphics.setFont(love.graphics.newFont(Font_height))

Replacement in run.lua at line 73 [5.178044]

∅:D[7.88] → [5.180008:180163]

∅:D[3.386] → [5.180008:180163]

B:BD[5.180008] → [5.180008:180163]

  Editor_state = edit.initialize_state(Margin_top, Margin_left, App.screen.width-Margin_right, Settings.font_height, math.floor(Settings.font_height*1.3))

[3.386]

[5.180163]

  Editor_state = edit.initialize_state(Margin_top, Margin_left, App.screen.width-Margin_right, Font_height, Line_height)

Replacement in run.lua at line 80 [5.178044]

B:BD[5.180345] → [5.180345:180430]

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

[5.180345]

[5.180430]

  Font_height = 20
  Line_height = math.floor(Font_height*1.3)
  love.graphics.setFont(love.graphics.newFont(Font_height))

Replacement in run.lua at line 86 [5.178044]

B:BD[5.180628] → [5.180628:180726]

  Editor_state.font_height = font_height
  Editor_state.line_height = math.floor(font_height*1.3)

[5.180628]

[5.180726]

  Editor_state.font_height = Font_height
  Editor_state.line_height = Line_height

Replacement in edit.lua at line 495 [9.413]

B:BD[8.230] → [8.230:264]

B:BD[8.264] → [2.26:92]

∅:D[2.92] → [8.337:387]

B:BD[8.337] → [8.337:387]

  State.font_height = font_height
  love.graphics.setFont(love.graphics.newFont(State.font_height))
  State.line_height = math.floor(font_height*1.3)

[8.230]

[8.387]

  Font_height = font_height
  Line_height = math.floor(Font_height*1.3)
  State.font_height = Font_height
  love.graphics.setFont(love.graphics.newFont(Font_height))
  State.line_height = Line_height