if node == skip_updating then return end

	print('text input', t)
	if Manifest_navigator.show then
		text_input_on_manifest_navigator(t)
	elseif Cursor_node and Cursor_node.editor.cursor_x then
		local old_definition_name = live.get_definition_name_from_buffer(live.definition_to_string(Cursor_node.editor))

		local old_top = {line=Cursor_node.editor.screen_top1.line, pos=Cursor_node.editor.screen_top1.pos}

		local definition_name = live.get_definition_name_from_buffer(live.definition_to_string(Cursor_node.editor))

		pan_viewport_to_contain_cursor(Cursor_node)

		B()
		pan_viewport_to_contain_cursor(Cursor_node)

		if eq(Cursor_node.editor.screen_top1, old_top) then
			B()
		else
			A()
		end