local state = Current_pane.editor_state
			-- initial state for recording undo operation
			local before_line = state.cursor1.line
			local before = snapshot(state, before_line)
			-- paste

			Text.insert_text(Current_pane.editor_state, s)

			Text.insert_text(state, s)
			-- record undo operation
			record_undo_event(state,
				{
					before=before,
					after=snapshot(
						state, before_line,
						state.cursor1.line)
				})

end

end