Add optional finish event to aset_progressively#426

davidbrochart wants to merge 4 commits into

jupyter-server:mainjupyter-server/jupyter_ydoc:mainfrom

davidbrochart:finishdavidbrochart/jupyter_ydoc:finishCopy head branch name to clipboard