JupyterLab改变字体方法( 内容、markdown、代码、输出、UI字体,JupyterLab版本3.0.12) |
您所在的位置:网站首页 › miui默认字体是什么字体 › JupyterLab改变字体方法( 内容、markdown、代码、输出、UI字体,JupyterLab版本3.0.12) |
Jupyter Lab默认字体较小,观察起来不太方便。由于Jupyter Lab版本变化比较频繁,改变字体的方法也不太稳定。适用版本:JupyterLab 3.0.12。 方法一:通过菜单Settings->Jupyterlab Theme,生成themes.jupyterlab-settings文件Settings菜单Jupyterlab Theme子菜单可改变字体大小,每次修改字体幅度为1px,修改字体后,将生成themes.jupyterlab-settings文件中,配置内容即保存在该文件。 Increase/Decrease Code Font Size:增加/减小代码、输出单元格字体大小。Increase/Decrease Content Font Size:增加/减小内容单元格字体大小。Increase/Decrease UI Font Size:增加/减小UI字体大小。![]() 修改菜单后文件变化情况。 { // Theme // @jupyterlab/apputils-extension:themes // Theme manager settings. // ************************************* // Theme CSS Overrides // Override theme CSS variables by setting key-value pairs here "overrides": { "content-font-size1": "25px", "code-font-size": "24px", "ui-font-size1": "15px" }, // Selected Theme // Application-level visual styling theme "theme": "JupyterLab Light", // Scrollbar Theming // Enable/disable styling of the application scrollbars "theme-scrollbars": false } 方法二:通过菜单Settings->Advanced Settings Editor,生成tracker.jupyterlab-settings文件注意:这种方法不能修改单元格输出的字体大小,而且会覆盖第一种方法的字体设置。 点击Settings菜单中的Advanced Settings Editor。![]() ![]()
建议使用第一种方法修改字体大小,这种方法可修改单元格输出结果的字体大小。 默认情况下,用户配置文件是不存在的,只有使用菜单或者高级设置编辑器修改字体配置后,才会产生配置文件。用户配置文件均保存在C:\Users\Administrator\.jupyter\lab\user-settings\@jupyterlab目录中。 |
今日新闻 |
推荐新闻 |
CopyRight 2018-2019 办公设备维修网 版权所有 豫ICP备15022753号-3 |