Skip to content

unsubscribe from grid wheel events on editor dispose#80

Merged
blink1073 merged 1 commit intojupyterlab:masterfrom mbektas:unsubscribe_grid_wheelJun 12, 2020

Commits

Commits on Jun 9, 2020