Toolbar buttons tooltip: show help instead of label#5107
Merged
afshin merged 2 commits intojupyter:masterfrom May 17, 2020
Merged
Toolbar buttons tooltip: show help instead of label#5107afshin merged 2 commits intojupyter:masterfrom
afshin merged 2 commits intojupyter:masterfrom
Commits
Commits on May 16, 2020
- authored andcommitted
