Я недавно обновился с 19.04 до 19.10, и теперь мои пользовательские темы не отображаются как опции в инструменте настройки gnome. У меня установлено расширение пользовательских тем, но мне все еще не везет с темами. Кроме того, ни один из ...
вопрос задан: 21 October 2019 22:07