2013-04-03から1日間の記事一覧
ついに20に。 また変な風にUIが微妙に変わってる。 最悪なのはanimated GIFがエスケープキーで止まらないことである。 これを止めるためのショートカットキー機能を加えるアドオンもあるが、 今のところ海のものとも山のものともつかないので、 もう少し評価…
その日の書き物のsnippets置き場
C|CSS||comp|Graphviz||phys||étoile|off-topic||一覧
C|C++|CSS|FORTRAN|Java|Lua|XML||comp|cairo|GMP/MPFR|gnuplot|Graphviz|GTK+|MTCTM||
math|phys||étoile|memo|off-topic||一覧
ついに20に。 また変な風にUIが微妙に変わってる。 最悪なのはanimated GIFがエスケープキーで止まらないことである。 これを止めるためのショートカットキー機能を加えるアドオンもあるが、 今のところ海のものとも山のものともつかないので、 もう少し評価…