Skip to content

Handle currentWidget in KernelWidgetTracker#206

Merged
jtpio merged 2 commits intojupyter-server:mainfrom jtpio:fix-nb7Jul 28, 2023