我最近在Ubuntu 18.04上安装了Gnome的“dash-to-dock”扩展,因为我喜欢它的外观,与默认的Dock不同。
我喜欢这个扩展,尽管我对自动隐藏功能不太感兴趣,因为我希望始终能看到Dock,以便查看我打开的应用程序和消息等的徽章图标。我关闭了自动隐藏功能。然而,当我这样做时,出现了以下情况: 码头将窗口推上去,而不是像我预期的那样覆盖它,并且当启用自动隐藏时,它看起来也是这样。我在设置中检查过,但我找不到任何可以更改这个的东西。我还尝试了“dash-to-pannel”扩展,但它没有实现我想要的效果。网上似乎也没有太多关于这个问题的信息。
我想知道是否有一种方法可以通过使用这个扩展或另一个扩展来实现这一点,或者在Gnome中根本不可能?
我喜欢这个扩展,尽管我对自动隐藏功能不太感兴趣,因为我希望始终能看到Dock,以便查看我打开的应用程序和消息等的徽章图标。我关闭了自动隐藏功能。然而,当我这样做时,出现了以下情况: 码头将窗口推上去,而不是像我预期的那样覆盖它,并且当启用自动隐藏时,它看起来也是这样。我在设置中检查过,但我找不到任何可以更改这个的东西。我还尝试了“dash-to-pannel”扩展,但它没有实现我想要的效果。网上似乎也没有太多关于这个问题的信息。
我想知道是否有一种方法可以通过使用这个扩展或另一个扩展来实现这一点,或者在Gnome中根本不可能?