{var%20f='http://v.t.sina.com.cn/share/share.php?appkey=1515056452',u=z||d.location,p=['&url=',e(u),'&title=',e(t||d.title),'&source=',e(r),'&sourceUrl=',e(l),'&content=',c||'gb2312','&pic=',e(p||'')].join('');function%20a(){if(!window.open([f,p].join(''),'mb',['toolbar=0,status=0,resizable=1,width=440,height=430,left=',(s.width-440)/2,',top=',(s.height-430)/2].join('')))u.href=[f,p].join('');};if(/Firefox/.test(navigator.userAgent))setTimeout(a,0);else%20a();})(screen,document,encodeURIComponent,'','','https://www.manongdao.com/data/attach/logo/logo.png', '推荐 \"骚年 ilove 的问题《How to change Android Studio's editor font?》','https://www.manongdao.com/q-189376.html','页面编码gb2312|utf-8默认gb2312'));){kind=link}
Right now I am using the Darcula theme. I want to change the default font to something else. I go into Editor > Colors & Fonts > Font but all the options are greyed out. For Editor Font it shows Show only monospaced fonts as checked with Primary font as Monospaced, but neither of these can be changed. I tried changing the font under Appearance but that just changes the font used around AS and not inside the editor.
相关问题
- Could not read entry … from cache taskArtifacts.bi
- Non-static method isGooglePlayServicesAvailable an
- Configure gradle plugin based on future tasks
- How to make available “open this project in Intell
- Android studio 2.2.0-rc1 gradle plugin error
相关文章
- In IntelliJ IDEA, how can I create a key binding t
- IntelliJ IDEA can't open projects or add SDK o
- Android virtual device manager crashes with “doubl
- What are the `^let` annotations in Android Studio
- Android Studio doesn't display logs by package
- IntelliJ Subversion Authentication Required Dialog
- Advanced profiling is unavailable for the selected
- Android Studio 3.5 ERROR: Unable to resolve depend
We can change the font size according to CTRL + mouse wheel which is really easy to use it !!! To use this feature select File -> Settings -> Editor -> General -> select the checkbox of Change the font size (Zoom) with Ctrl + Mouse Wheel
I hope it's helpful.
All you have to do is click the "Save As" button to create a new profile. You can't change the font because you can't overwrite the default profile