この記事は はてなブログ から移行されました

ツール

複数の Dock を切り替えて使える。 用途別にできるかなと思って導入してみたけど，そもそも分けるほどの用途が無かった。

残念。