位置: 编程技术 - 正文
如何解决ubuntu linux下更新idea导致idea字体改变(如何解决脑供血不足)
发布时间：2024-02-26推荐整理分享如何解决ubuntu linux下更新idea导致idea字体改变(如何解决脑供血不足)，希望有所帮助，仅作参考，欢迎阅读内容。
文章相关热门搜索词:如何解决ubuntu强制关机后无法启动,如何解决孩子多动,如何解决ubuntu强制关机后无法启动,如何解决ubuntu终端和wps之间的粘贴复制问题,如何解决焦虑,如何解决ubuntu终端和wps之间的粘贴复制问题,如何解决ubuntu强制关机后无法启动,如何解决ubuntu终端和wps之间的粘贴复制问题,内容如对您有帮助，希望把文章链接给更多的朋友！
今天早上一早传来了一个idea的更新，没想太多直接就去官网下了个.1版的idea给电脑装上了，然而却发现遇到了一个很尴尬的问题：
更新前
更新后
仔细想想，应该不是系统的问题，因为大家用的都是同一款字体，于是我就去找idea的字体设置文件，搜索了一下找不到好的答案。
于是我就自己去找，最后我发现在idea文件夹内直接搜索fonts可以搜索到一个文件夹。对比一下：
旧版本
新版本
这就找到问题所在了，很明显新版本的字体比旧版本的字体少了好多。（其实看到这个界面我觉得挺有意思的，因为这就意味着idea不是直接引用系统的字体的，而是copy过来这个字体目录再调用这个字体的，具体idea的实现过程我也不大清楚，但是我觉得大概就是这么个运作过程）
现在就好办了，直接把旧的fonts文件全都copy过去新的fonts文件那里，重启idea,这时候久违的ubuntu字体就回来啦！
ubuntu下如何安装cmake?cmake简单使用详解 前言最近突然想将开发环境转移到Linux上，同时也准备阅读些github上的开源代码，发现现在开源项目一般都是用cmake管理的。所以就在自己的虚拟机上捣
Ubuntu如何更改主机名?Ubuntu更改主机名的方法 1、启用root用户运行命令sudopasswdroot为root用户设置密码2、以root用户身份登录1)编辑文件/etc/hosts将下面的一行.0.1.1xxxxx替换为.0.1.1newhostname2)编辑/etc/ho
Ubuntu .如何修改主机名?Ubuntu,.修改主机名的方法 1.临时修改;root@ubuntu:/#hostnameXXXX这样主机名字就临时被修改为XXXX，但是终端下不会立即显示生效后的主机名，重开一个终端窗口(通过ssh连接的终端需
标签: 如何解决脑供血不足
本文链接地址:https://www.jiuchutong.com/biancheng/352907.html 转载请保留说明！
