akkartik/sokoban.love - Change 5XA7TKWYAWE3HDBJ477RDOALCTDCOGF73WXYVCSFZCID3KDWEM2QC

pull font into editor

Now it adjusts the current font for itself. And it's up to the caller to adjust the current font after.

Created by akkartik on December 29, 2023

5XA7TKWYAWE3HDBJ477RDOALCTDCOGF73WXYVCSFZCID3KDWEM2QC

Dependencies

In channels

main

Change contents

Replacement in source_edit.lua at line 28 [7.152440]

B:BD[7.152846] → [7.152846:152968]

function edit.initialize_state(top, left, right, font_height, line_height)  -- currently always draws to bottom of screen

[7.152846]

[7.152968]

function edit.initialize_state(top, left, right, font, line_height)  -- currently always draws to bottom of screen

Replacement in source_edit.lua at line 88 [7.152440]
∅:D[8.19722] → [7.154804:154835]
B:BD[7.154804] → [7.154804:154835]
```
    font_height = font_height,
```
[8.19722]
[7.154835]
```
    font = font,
    font_height = font:getHeight(),
```
Replacement in source_edit.lua at line 109 [7.152440]
B:BD[7.155320] → [7.155320:155349]
```
end  -- App.initialize_state
```
[7.155320]
[7.155349]
```
end  -- edit.initialize_state
```
Insertion in source_edit.lua at line 161 [7.152440]
[7.155405]
[7.155405]
```
  love.graphics.setFont(State.font)
```

Replacement in source_edit.lua at line 557 [7.152440]

B:BD[7.163992] → [4.11:77]

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

[7.163992]

[7.164065]

  State.font = love.graphics.newFont(State.font_height)

Replacement in source_edit.lua at line 574 [7.152440]
∅:D[9.557] → [7.164467:164521]
B:BD[7.164467] → [7.164467:164521]
```
      14,  -- font height assuming default LÖVE font
```
[9.557]
[7.164521]
```
      love.graphics.getFont(),
```

Replacement in source.lua at line 117 [7.165766]

B:BD[7.168468] → [7.168468:168537]

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

[7.168468]

[10.72]

  local font = love.graphics.newFont(settings.font_height)

Replacement in source.lua at line 129 [7.165766]

B:BD[7.169468] → [6.276:442]

  Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), right, settings.font_height, math.floor(settings.font_height*1.3))

[7.169468]

[7.169599]

  Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), right, font, math.floor(settings.font_height*1.3))

Replacement in source.lua at line 155 [7.165766]

B:BD[7.170022] → [7.170022:170082]

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

[7.170022]

[11.13]

  local font = love.graphics.newFont(font_height)

Replacement in source.lua at line 157 [7.165766]

B:BD[11.51] → [6.443:573]

  Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), App.screen.width-Margin_right)

[11.51]

[12.115]

  Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), App.screen.width-Margin_right, font, math.floor(font_height*1.3))

Deletion in source.lua at line 159 [7.165766]
∅:D[12.151] → [7.170283:170381]
B:BD[7.170283] → [7.170283:170381]
```
  Editor_state.font_height = font_height
  Editor_state.line_height = math.floor(font_height*1.3)
```

Replacement in run.lua at line 57 [7.178044]

B:BD[7.179375] → [7.179375:179444]

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

[7.179375]

[10.1186]

  local font = love.graphics.newFont(Settings.font_height)

Replacement in run.lua at line 64 [7.178044]

∅:D[5.67] → [7.180008:180163]

∅:D[13.88] → [7.180008:180163]

∅:D[14.386] → [7.180008:180163]

B:BD[7.180008] → [7.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))

[5.67]

[7.180163]

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

Replacement in run.lua at line 82 [7.178044]

B:BD[7.180370] → [7.180370:180430]

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

[7.180370]

[11.102]

  local font = love.graphics.newFont(font_height)

Replacement in run.lua at line 84 [7.178044]

∅:D[11.137] → [7.180533:180726]

∅:D[15.1014] → [7.180533:180726]

B:BD[7.180533] → [7.180533:180726]

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

[11.137]

[7.180749]

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

Replacement in log_browser.lua at line 9 [7.191782]

B:BD[7.192175] → [7.192175:192369]

  Log_browser_state = edit.initialize_state(Margin_top, Editor_state.right + Margin_right + Margin_left, (Editor_state.right+Margin_right)*2, Editor_state.font_height, Editor_state.line_height)

[7.192175]

[7.192369]

  Log_browser_state = edit.initialize_state(Margin_top, Editor_state.right + Margin_right + Margin_left, (Editor_state.right+Margin_right)*2, Editor_state.font, Editor_state.line_height)

Replacement in edit.lua at line 26 [16.413]

B:BD[16.596] → [17.5097:5219]

function edit.initialize_state(top, left, right, font_height, line_height)  -- currently always draws to bottom of screen

[16.596]

[18.94319]

function edit.initialize_state(top, left, right, font, line_height)  -- currently always draws to bottom of screen

Replacement in edit.lua at line 86 [16.413]

B:BD[16.3321] → [17.5220:5251]

    font_height = font_height,

[16.3321]

[17.5251]

    font = font,
    font_height = font:getHeight(),

Replacement in edit.lua at line 107 [16.413]
B:BD[18.98042] → [18.98042:98071]
```
end  -- App.initialize_state
```
[18.98042]
[16.3867]
```
end  -- edit.initialize_state
```
Insertion in edit.lua at line 160 [16.413]
[2.44]
[19.999]
```
  love.graphics.setFont(State.font)
```

Replacement in edit.lua at line 553 [16.413]

B:BD[20.264] → [3.26:92]

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

[20.264]

[20.337]

  State.font = love.graphics.newFont(State.font_height)

Replacement in edit.lua at line 570 [16.413]
∅:D[9.1119] → [17.5645:5699]
B:BD[17.5645] → [17.5645:5699]
```
      14,  -- font height assuming default LÖVE font
```
[9.1119]
[17.5699]
```
      love.graphics.getFont(),
```

pull font into editor

Dependencies

In channels

Change contents

Replacement in source_edit.lua at line 28 [7.152440]

Replacement in source_edit.lua at line 88 [7.152440]

Replacement in source_edit.lua at line 109 [7.152440]

Insertion in source_edit.lua at line 161 [7.152440]