如何安装 GNOME Shell 扩展?
是否可以更新、删除和管理扩展?
在 Ubuntu 18.04 中,使用 Gnome Tweak 工具可以禁用活动热角。我有一个多显示器设置,所以打开这个功能非常烦人。无论如何......几分钟(有时只是几秒钟)后,角落似乎重新启用了自己。我检查了 Gnome Tweak 上的设置,它确实被禁用了。这是情况的gif:
看来问题是在 gnome-shell 重新启动后发生的。似乎这可能是一个错误,如果确认我会报告它。
关于如何防止这种情况发生的任何想法?