mirror of
https://github.com/jupyter/notebook.git
synced 2025-01-06 11:35:24 +08:00
8462288405
fixes #1696 allow number in matched token for tooltip, except first position also prevent matching token starting wit a dot |
||
---|---|---|
.. | ||
frontend/html/notebook | ||
testing | ||
utils/tests |