【Ubuntu】Dash to dock を無効にしても元に戻らない、バグっぽい動作がある

2021年1月24日

無効にしても、長さがもとに戻らない

I'm using Ubuntu 18.04, and I installed the "Dash to Dock" extension. It worked, but I didn't like it, so I removed it.
But the dock is same as before, and I checked if the "Ubuntu Dock" is on, but isn't.
18.04 - Dash to Dock doesn't disable even uninstalled - Ask Ubuntu

同じ症状かもしれないが、無効にしても削除しても、Dockの長さがもとに戻らないんですね。

$ gsettings set org.gnome.shell.extensions.dash-to-dock extend-height true

上記コマンドを実行すると、見た目は戻りました。これで正しいかどうかは不明。