14/04/20 00:41:23.33 7nC6pRcO
とりあえずこれでトップバーを隠したりトグルしたりできるな
URLﾘﾝｸ(extensions.gnome.org)
これとタスクバー代わりになるDash to Dock組み合わせれば>>234の要求は満たせる
拡張ってjavascriptで書かれてるみたいだからその気になれば修正とか機能追加とかできそう
gnome3もいろいろ言われてるけど慣れてくるとそれほど悪い感じはしないわ
14/04/20 00:41:23.33 7nC6pRcO
とりあえずこれでトップバーを隠したりトグルしたりできるな
URLﾘﾝｸ(extensions.gnome.org)
これとタスクバー代わりになるDash to Dock組み合わせれば>>234の要求は満たせる
拡張ってjavascriptで書かれてるみたいだからその気になれば修正とか機能追加とかできそう
gnome3もいろいろ言われてるけど慣れてくるとそれほど悪い感じはしないわ