akkartik/driver.love - Change WE3Z2BKBYQOU62Y4GEWSPEWDJWFZDL6Y6MKMCGFL2DIUDQJGHSCQC

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

bugfix: hide manifest nav after any mouse click

Either we clicked on a button or we clicked somewhere else.

Created by Kartik K. Agaram on September 10, 2023

WE3Z2BKBYQOU62Y4GEWSPEWDJWFZDL6Y6MKMCGFL2DIUDQJGHSCQC

Dependencies

In channels

main

Change contents

Insertion in 0017-on.mouse_release at line 3 [4.1417]

[3.19069]

[4.1466]

	if Manifest_navigator.show then
		reset_manifest_navigator()
	end

Replacement in 0017-on.mouse_release at line 16 [4.1417]
B:BD[4.1615] → [5.47:51]
```
end
```
[4.1615]
```
end
```
Deletion in 0006-on.mouse_press at line 12 [4.703]
B:BD[3.13275] → [2.137:166]
```
		reset_manifest_navigator()
```