akkartik/driver.love - Change W2UWBJPLH4UD6RCIJGRGG375E5DMLWS7CXU33HGQDIKCQ6WCYUNQC

Programming environment for editing various of my live apps without restarting them.

this bit of commit 0e3f1f773 is unnecessary

Created by Kartik K. Agaram on April 23, 2023

W2UWBJPLH4UD6RCIJGRGG375E5DMLWS7CXU33HGQDIKCQ6WCYUNQC

Dependencies

In channels

main

Change contents

Deletion in 0030-update_editor_box at line 13 [3.26]
B:BD[2.243] → [2.243:341]
∅:D[2.341] → [3.444:449]
B:BD[3.444] → [3.444:449]
```
	if node.editor.font_height ~= scale(20) then
		edit.update_font_settings(node.editor, scale(20))
	end
```