linux - A font doesn't appear in IntelliJ's dialog of choosing a font -

-

i installed monaco font using code. however, doesn't appear in setting -> editor -> color , fonts -> font. should do?

try install fonts way. use font viewer. can easy install font.

enter image description here

i use idea under elementaryos , work me.

update:

enter image description here


Comments

Post a Comment

Popular posts from this blog

c# - How to get the current UAC mode -

-
can check current uac type set in device before running application through c#. i got know approach check whether current user administrator or not. but, need know uac type set (i.e. default/never notify) internal logic. is possible? please help. this article self-elevation , checking level program runs in. due security reasons i'm afraid won't able retrieve uac level set. http://code.msdn.microsoft.com/windowsdesktop/csuacselfelevation-644673d3
Read more

angularjs - ng-repeat duplicating items after page reload -

-
i have angularjs application, node.js , express backend, i'm not using angular's routings. when refresh page using browser's refresh button, items on page loaded in ng-repeat duplicate. i'm not sure why occurs, i'm wondering happens controller when page reloaded? old controller destroyed, , new 1 created, or controller added, causing duplications? here part of html file, relvevant controller code: (trans.html) <div class="pure-u-1-2" ng-repeat="trans in transactions | filter:searchtext"> <div class="transaction" ng-style="{'border-style': 'solid', 'border-color': categorycolours[trans.category.name]}"> <h2 id="transname">{{ trans.name }}</h2> <h4>{{ trans.description }}</h4> <h4>{{ trans.date }}</h4> <div class="pure-u-1-1"> <h3 id="categor
Read more

javascript - What's causing this slow/delayed audio playback in Safari? -

-
var audio = new audio('data:audio/wav;base64,uklgroabaabxqvzfzm10ibaaaaabaaeaibuaaigvaaabaagazgf0yvwbaachlqa1xnlg7vv/////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////tk1lsklhrkveq0jbqd8+pj08pds6ojk5otg4odg3nzc3nzc3nzc3nzc3nzg4odg5otk6ojs7ozw8pt4+p0baqujcq0rfruzhseljsktmtu5ot1brulnuvvvwv1hzwltcxv1ex2bhymnkzgvmz2hpawprbg1ubm9wcxfyc3r0dxz3d3h5exp6e3x8fx1+f3+agigbgokcg4oehisfhywghoahh4ehh4iiiiiiiiiiiiiiiiiiiiiiiiiiiiehh4ehhoaghywfhiseg4ocgogbgia='); setinterval(function() { audio.play(); }, 50); this code works correctly in chrome , firefox, in safari there's delay of on second between each sound. can't figure out why be, far can tell there no compatibility issues. want play sounds @ precise time , @ reasonably fast delay in game i'm making, how can working? (copied the same question answered now) safari displays curious behav
Read more