akkartik/pothi.love - Change 2RPK7DRUT4TC46JV22XF3JG2VX3MF3LKITVBORHE5L733LX42TIAC

update height when hitting enter

This is needed in case a buffer has an error on the final line. Hitting enter would then hide the cursor behind the error.

Arguably we should do this for backspace as well, but recomputing the layout of the whole surface is expensive.

Created by Kartik K. Agaram on April 9, 2023

2RPK7DRUT4TC46JV22XF3JG2VX3MF3LKITVBORHE5L733LX42TIAC

Dependencies

In channels

main

Change contents

Replacement in head at line 1 [3.10815]
B:BD[3.10815] → [2.14:18]
```
1020
```
[3.10815]
```
1021
```

File addition: 1021-on.keychord_press (----------)

[4.2]

on.keychord_press = function(chord, key)
	print('key', chord)
	if Animating then return end
	if Move then return end
	if Manifest_navigator.reload then
		load_manifest()
	end
	if chord == 'C-=' then
		-- zoom in
		Viewport.zoom = Viewport.zoom+0.1
		B()
	elseif chord == 'C--' then
		-- zoom out
		if (Viewport.zoom-0.1)*20 >= 1 then  -- disallow font size of 0
			Viewport.zoom = Viewport.zoom-0.1
			B()
		end
	elseif chord == 'C-0' then
		-- reset zoom
		Viewport.zoom = 1.0
		B()
	elseif chord == 'C-g' then
		-- special Expose-like 'global zoom' mode
		if Zoomed_out == nil then
			zoom_out()
		else
			undo_zoom_out()
		end
	elseif chord == 'C-q' then
		live.send_to_app('QUIT')
	elseif Manifest_navigator.show then
		keychord_press_on_manifest_navigator(chord, key)
	elseif chord == 'C-n' then
		new_definition()
		A()
	elseif chord == 'C-l' then
		Manifest_navigator.show = true
		Manifest_navigator.for_delete = false
		initialize_manifest_navigator()
	elseif chord == 'C-d' then
		Manifest_navigator.show = true
		Manifest_navigator.for_delete = true
		initialize_manifest_navigator()
	elseif Cursor_node then
		local old_top = {line=Cursor_node.editor.screen_top1.line, pos=Cursor_node.editor.screen_top1.pos}
		local old_definition_name = live.get_cmd_from_buffer(Cursor_node.editor.lines[1].data)
		edit.keychord_press(Cursor_node.editor, chord, key)
		if not eq(Cursor_node.editor.screen_top1, old_top) then
			Viewport.y = Cursor_node.y + y_of_schema1(Cursor_node.editor, Cursor_node.editor.screen_top1)
		end
		local definition_name = live.get_cmd_from_buffer(Cursor_node.editor.lines[1].data)
		maybe_update_key_in_definitions(old_definition_name, definition_name, Cursor_node)
		if chord == 'return' then
			A(--[[preserve screen_top of cursor node]] true)
		else
			B(--[[preserve screen_top of cursor node]] true)
		end
	else
		if chord == 'up' then
			Viewport.y = Viewport.y - scale(20)
			B()
		elseif chord == 'down' then
			Viewport.y = Viewport.y + scale(20)
			B()
		elseif chord == 'left' then
			Viewport.x = Viewport.x - scale(50)
			B()
		elseif chord == 'right' then
			Viewport.x = Viewport.x + scale(50)
			B()
		elseif chord == 'pageup' then
			Viewport.y = Viewport.y - App.screen.height/Viewport.zoom
			B()
		elseif chord == 'S-up' then
			Viewport.y = Viewport.y - App.screen.height/Viewport.zoom
			B()
		elseif chord == 'pagedown' then
			Viewport.y = Viewport.y + App.screen.height/Viewport.zoom
			B()
		elseif chord == 'S-down' then
			Viewport.y = Viewport.y + App.screen.height/Viewport.zoom
			B()
		elseif chord == 'S-left' then
			Viewport.x = Viewport.x - App.screen.width/Viewport.zoom
			B()
		elseif chord == 'S-right' then
			Viewport.x = Viewport.x + App.screen.width/Viewport.zoom
			B()
		end
	end
end

File addition: 1021-fwmanifest (----------)