mbedエディタのフォントを変更するブックマークレットとChrome拡張
ブックマークレット
下のコードをブックマークのURLとして登録 フォント名とフォントサイズは任意で変更してください
javascript:(function(){
var font = "Courier New"; /*フォント名を指定*/
var font_size = "13px"; /*フォントサイズを指定*/
var styleElem = document.createElement("style");styleElem.appendChild( document.createTextNode(".editor_cursor, .editor_line, .editor_line_test, .editor_number{font-family:'" + font + "',Courier,monospace;font-size:" + font_size + ";}") );document.head.appendChild( styleElem );})()
mbedエディタにコードが表示されているときにこのブックマークレットをクリックするとフォントを変更することができます。
Chrome拡張 mbedEditor++
このChrome拡張を使えばmbedエディタのフォントやサイズの変更が簡単にできます。設定したフォントやフォントサイズは自動的に保存されるので毎回ブックマークレットをクリックする必要はありません。 また、対応する括弧を強調して表示する機能も実装されています。
1 comment on mbedエディタのフォントを変更するブックマークレットとChrome拡張:
Please log in to post comments.
strobo 様 ktoと申します。 デフォルトフォントだと、 "l"エルと1の表示が見分けつかなかったので助かります。 使わせていただきます。 これでArialフォントに変えられました。