Firefox 20
ついに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がエスケープキーで止まらないことである。
これを止めるためのショートカットキー機能を加えるアドオンもあるが、
今のところ海のものとも山のものともつかないので、
もう少し評価が固まってから、そのうち最も低リスクと思われるものを入れることにしよう。