便签

• Tweaksの設定項目になかったので困っていた

• TopIconsを入れるととりあえずできた

https://github.com/phocean/TopIcons-plus

https://github.com/ubuntu/gnome-shell-extension-appindicator

Tweaksを使うのかと思ったらブラウザ経由でONにすることができた

TopIconsはメンテナンスモードのようなので将来も使えるかは若干不安