key | value |
---|---|
id | 137811661 |
name | jupyterlab-shortcutui |
full_name | jupyterlab/jupyterlab-shortcutui |
html_url | https://github.com/jupyterlab/jupyterlab-shortcutui |
description | A JupyterLab extension for managing keyboard shortcuts |
created_at | June 18, 2018, 10:07 p.m. |
updated_at | Oct. 5, 2023, 2:50 p.m. |
pushed_at | Aug. 8, 2023, 6:52 a.m. |
size | 273 |
stargazers_count | 54 |
watchers_count | 5 |
forks_count | 15 |
open_issues | 0 |
language | TypeScript |
awesome_list |