2015-02-08から1日間の記事一覧
タブが一つしかない場合、タブバーを表示させないために、今までは"Hide Tab Bar With One Tab"を使用していた。 しかし、別に入れてある網羅的なUIカスタマイズアドオンである"Classic Theme Restorer"の設定項目を眺めていて、 同様の効果をもつ「ツールバ…
その日の書き物の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||一覧
タブが一つしかない場合、タブバーを表示させないために、今までは"Hide Tab Bar With One Tab"を使用していた。 しかし、別に入れてある網羅的なUIカスタマイズアドオンである"Classic Theme Restorer"の設定項目を眺めていて、 同様の効果をもつ「ツールバ…