Что ж, это странно, я сделал то, что сказал don_crissti, и запустил gsettings get org.gnome.desktop. interface gtk-theme ', который, как и ожидалось, напечатал' Adwaita '. Но после этого я запустил gsettings set org.gnome.desktop.interface gtk-theme Arc-Darker, который теперь работает. После перезагрузки, которую я уже пробовал раньше.
Спасибо за помощь