Есть ли у пользователя способ уменьшить размер значков на панели активности, не затрагивая при этом весь редактор?
Возможно, похоже на то, как Ubuntu позволяет масштабировать значки на панели.
Я использую панель активности, и ее визуальные подсказки слишком часто скрывают и скрывают ее, но было бы неплохо немного сократить использование недвижимости.