delete_definition = function(name)
	live.send_to_app('DELETE '..name)
	while true do
		local response_string = live.receive_from_app()
		if Load_time_error then
			-- no buffer, so show error at bottom of window
			Run_time_error = Load_time_error
			Load_time_error = nil
			break
		end
		if live.receive_run_time_error_from_app() then
			break
		end
		if response_string then
			break
		end
		love.timer.sleep(0.001)
	end
	Manifest_navigator.reload = true
end