Skip to content

Disable refresh button while refresh is in progress#1364

Merged
jtpio merged 1 commit intojupyterlab:mainfrom
gjmooney:less_refresh_spam
Oct 24, 2024
Merged

Disable refresh button while refresh is in progress#1364
jtpio merged 1 commit intojupyterlab:mainfrom
gjmooney:less_refresh_spam

Commits

Commits on Oct 24, 2024