jupyterlab extension添加插件及配置
jupyterlab extension添加插件及配置改配置文件修改UI主题设置显示行号查看插件jupyterlab-execute-time安装配置改配置文件在jupyterlab中可以添加一些插件或者做一些设置，使你的工作更加方便。开启Extension Manager，在Settings > Advanced Settingd Editor打开Settings文件，选择需要设置的内容，将System Defaults复制到User Preferences，并将对应的值修改。然
