haskell-ja > Archives > 2016/06/29

2016/06/29 02:09:21 UTCikegami__
#
helm-unicode というパッケージが MELPA にあります。たとえば "eq dot"で = と . が組み合わさった Unicode 文字(いくつもある)を絞り込み、かつ対話的に選択して入力できます
#
TeXの記号すぐ忘れるので agda-input よりも重宝している
#
ハックすれば、直前に絞り込んだ文字を検索結果の優先度最大にしてくれるはずなんだけど(ファイル名に対する helm 絞り込みは、直前の結果を優先度最大にできる)
#
こんなかんじ http://emacs.stackexchange.com/questions/19470/unicode-character-sometimes-renders-sometimes-doesnt
#
こっちのほうがわかりやすかったかな http://oremacs.com/2015/04/09/counsel-completion/
#
上記のoremacsはhelmではなく、かわりに、counselをつかった補完です
#
ぼくは他のhelm拡張もつかいだした(とくに projectile との連携 helm-projectile が Git と相性いい)ので、counsel よりも helm をメインにつかっています
2016/06/29 11:24:52 UTC[1..100]>>=pen
#
7月31日(日)「Tokyo Haskell Meetup」 http://www.meetup.com/ja-JP/Tokyo-Haskell-Meetup/events/232172620/