Ubuntu Gnome 17.04 - команда обновления иконки панели?

У меня есть два «самодельных» индикатора, которые меняют свой значок на верхней панели с помощью команды pkill, а затем перезапускают скрипт Python, но в отличие от верхней панели Unity, а также в отличие от «профессиональных» индикаторов, новый значок для моего индикатора не отображается, пока я не перезапущу Gnome Shell (например, Alt + F2, r).

Я думаю, что должна быть команда, чтобы сказать Gnome Shell, возможно, просто обновить значки верхней панели или даже просто иконку для этого конкретного индикатора ???

2
задан 2 July 2017 в 15:44

0 ответов

Другие вопросы по тегам:

Похожие вопросы: