У меня Ubuntu Gnome 16.04, с гномом по умолчанию 3.18. Из-за стандартной среды рабочего стола gnome немного большой графический интерфейс, мне интересно, как я могу уменьшить его. Я нашел решение, которое в GUI gsettings (...
вопрос задан: 23 August 2016 09:07