2014-11-01から1ヶ月間の記事一覧

IDEA14のProject Settings、どこいったん?

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

逆方向へのインクリメンタルサーチは無いです

標準の機能ではできません。心当たりのあるプラグインも無かったはず。 「Edit → Find → Find...」で検索ワードをタイプしている間は順方向へのインクリメンタルサーチにしかならない。

バックスペースの動きがクソうぜぇのは「Backspace smart indent」のせい

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

Gitでタグのpushができるようになったはず

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

ファイル開くときに必ず右端のタブで開いてほしい

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

マウスカーソルがデフォルトボタンに移動するのがウザい

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

EmacsのCtrl-t(transpose-chars)に相当する機能は無い

カーソル位置の文字と1文字前の文字を入れ替える機能とな。 window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.sr…

余計な改行を除去したい

放っておくと埋もれちゃうのですくい上げておきます。 window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "…