-- Compute screen_top1 in viewport coordinates because the editor's font takes scaling into account.
	if vy(node.y) > 0 then

		if node ~= Cursor_node then

		node.editor.screen_top1, node.editor.top = schema1_of_y(node.editor, -vy(node.y))

		node.editor.screen_top1, node.editor.top = schema1_of_y(node.editor, scale(Viewport.y-node.y))  -- scale y because editor's font is scaled

		node.editor.screen_top1, node.editor.top = schema1_of_y(node.editor, scale(Viewport.y-node.y))  -- scale y because editor's font is scaled

	print('key', chord)

	print('key press', chord)

	print('key press', chord)

		if (Viewport.zoom-0.1)*20 >= 1 then  -- disallow font size of 0
			Viewport.zoom = Viewport.zoom-0.1
			B()
		end

		if chord == 'f4' then
			submit_definition(Cursor_node.editor)

	elseif Cursor_node and Cursor_node.editor.cursor_x then

end

end

	if Cursor_node and Cursor_node.editor.cursor_x then

	print('mouse press', x,y)

		print('cursor at', node.editor.cursor_x, node.editor.cursor_y)

		print('cursor at', node.editor.cursor_x, node.editor.cursor_y)