on.text_input = function(t)
	print('text input', t)
	if Cursor_node and Cursor_node.editor.cursor_x then
		local old_top = {line=Cursor_node.editor.screen_top1.line, pos=Cursor_node.editor.screen_top1.pos}
		edit.text_input(Cursor_node.editor, t)
		pan_viewport_to_contain_cursor(Cursor_node)
		if eq(Cursor_node.editor.screen_top1, old_top) then
			B()
		else
			A()
		end
	end
end