読者です 読者をやめる 読者になる 読者になる

mbedエディタのフォントを変更するブックマークレットとchrome拡張機能

mbed

前回の記事でmbedエディタのフォントを変更する方法を書きましたが、毎回デベロッパーツールから変更するのは面倒なので、簡単に変更できるようにブックマークレットchrome拡張機能を作ってみました。ブックマークレットchromeだけじゃなくFirefoxSafariなどにも対応しています。

ブックマークレット

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 );})()

このコードをブックマークのURLとしてブックマークします。mbedエディタを開いた状態でブックマークをクリックすればフォントが変更されます。

Chrome拡張機能


このchrome拡張機能を使えばフォントやサイズの変更が簡単にできます。設定したフォントやフォントサイズは自動的に保存されるのでいちいち設定する必要はありません。
ダウンロード : mbedEditorFontChanger
インストールルした状態でmbedエディタを開くとアドレスバーの右側にアイコンが表示されるのでそこからフォントを変更してください。

もしバグがあったら@_stroboまでお願いします

追記:3/31に対応する括弧を強調する機能を追加しました。ダウンロード先のリンクも最新版に差し替えてありますので、そのままダウンロードすれば最新版を利用できます