0150login:Penguin垢版 | 大砲2020/03/22(日) 18:25:49.42ID:dUaCl3tv Dash to PanelがGNOME 3.36に対応したってんでUbuntu 20.04開発版に入れてみたら設定ウィンドウが開かないでやんの。 extensionでの拡張前提のDEでextensionの設定変更出来ないとか使い物にならんねー。 まあ正式リリースまでには修正されるだろうけど。