我在 Fedora Scientific 上安装了 coq snap install coq-prover，当我运行命令时它看起来像这样coqide
]1
我看不到我读过的图标，这是未安装的问题gnome-icon-theme，但我不知道如何在 Fedora 上执行此操作并设置正确的配置。启动时的错误之一coqide是Error loading theme icon 'go-up' for stock: Brak ikony „go-up” w motywie Adwaita
许多类似的错误引用其他图标。