akkartik/carousel.love - Change OTJQKAQZ4QXHLLAC3JROQ4HI3RFL2IWB54KG6UUDNICNYB3KNU4AC

A lightweight programming environment for desktop and mobile devices

bugfix: update output font (and menus)

Created by akkartik on December 31, 2023

OTJQKAQZ4QXHLLAC3JROQ4HI3RFL2IWB54KG6UUDNICNYB3KNU4AC

Dependencies

In channels

main

Change contents

Insertion in 0032-update_font_settings at line 3 [5.50]
[4.934]
[3.0]
```
	Line_height = math.floor(Font_height*1.3)
```
Deletion in 0032-update_font_settings at line 6 [5.50]
∅:D[3.72] → [4.935:978]
∅:D[6.215] → [4.935:978]
B:BD[5.155] → [4.935:978]
```
	Line_height = math.floor(font_height*1.3)
```

Replacement in 0032-update_font_settings at line 17 [5.50]

B:BD[7.1016] → [7.1016:1076]

		edit.update_font_settings(pane.editor_state, font_height)

[7.1016]

[7.1076]

		edit.update_font_settings(pane.editor_state, Font_height)

Insertion in 0032-update_font_settings at line 19 [5.50]

[7.1113]

[2.367]

		edit.update_font_settings(pane.output_editor_state, Font_height)