ハック 2014.06.30 793 webstormWebStormでエディターの色を変更する ツイート シェア はてな File>Setting>IDE Setting>Editor>Colors & FontsScheme nameの部分ではカラーセットをまるごと変更することができます。他の細かい部分は左メニューのColors & Fontsを展開した中から選んで設定することができます。つくってみた!社内のトイレ難民解決!トイレ空き状況確認システムを作ってみた社長が「寒い寒い」というので社長席の温度をRaspberry Piで監視してみた。Amazon Polly と Slack を使って Alexa へ (物理的に) 話しかけるシステムを作ってみた関連記事 WebStormで文字コードを変更する WebStorm,phpStormでファイルをコピーして別名で保存する WebStorm使いはEmmetでHTMLコーディングを高速化しよう [PhpStorm/WebStorm] Git上のファイルとローカルで開いているファイルを比較する [PhpStorm/WebStorm] メモ用プラグイン「Scratch」を入れる WebStormで1行を改行して表示する