akkartik/wardley.love - Change H6QZ7GRR2UBK4POXP6PNMYHHW54SJAQYTTFVPQK4YIJZ4FECAPPQC

more precise name

Created by Kartik K. Agaram on July 16, 2022

H6QZ7GRR2UBK4POXP6PNMYHHW54SJAQYTTFVPQK4YIJZ4FECAPPQC

Dependencies

In channels

main

Change contents

Deletion in main.lua at line 126 [5.2]

B:BD[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 [6.413]

B:BD[6.11991] → [7.7756:7806]

    initialize_font_settings(State.font_height+2)

[6.11991]

[8.6787]

    edit.update_font_settings(State, State.font_height+2)

Replacement in edit.lua at line 339 [6.413]

B:BD[6.12086] → [7.7807:7857]

    initialize_font_settings(State.font_height-2)

[6.12086]

[8.6815]

    edit.update_font_settings(State, State.font_height-2)

Replacement in edit.lua at line 342 [6.413]
B:BD[6.12181] → [6.12181:12214]
```
    initialize_font_settings(20)
```
[6.12181]
[8.6843]
```
    edit.update_font_settings(State, 20)
```

Insertion in edit.lua at line 453 [6.413]

[9.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