位置: 编程技术 - 正文
推荐整理分享如何解决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 转载请保留说明!友情链接: 武汉网站建设