Это иногда случается, и я никогда не знаю, как это исправить, не удаляя панель и не добавляя новую. Любая помощь будет оценена.
К сожалению, пока никто не знает правильного решения этой проблемы. Вы можете прочитать и подписаться на ошибку 439448 , если вас интересуют обновления, но будьте готовы к большому количеству писем.
На данный момент просто нужно убить панель, когда вы увидите, что это происходит, и надеюсь, что это больше не повторится. Отладка чрезвычайно сложна из-за того, что это случается только время от времени.
Всякий раз, когда я попадаю на эту панель, я делаю правый клик на панели, выбираю "Параметры" или "Свойства" (извините, мой язык итальянский, я не уверен, какой из вариантов меню эквивалентен "Proprieta") и просто увеличиваю высоту панели на пару пикселей, БЕЗ ЗАКРЫТИЯ ОКОНЧКУ.
Гном перекрашивает верхнюю панель почти на лету, исправляя любой дефект, и как только это делается, я возвращаю высоту пикселей к предыдущему значению и закрываю окно "Свойства"/"Параметры" панели.
Я исправлю это, добавив команду killall gnome-panel
в System->Preferences-... > Приложения запуска
У меня была такая же проблема, но я решил ее с помощью сценария, который нашел в http://www.omgubuntu.co.uk/2010/09/how-to-restore-default-gnome-panels -in-ubuntu / Обычно я не использую сценарии и тому подобное, но этот пришел с сайта, которому я доверяю.
Для устранения проблемы запустите alt +f2 gnome-panel --replace
. Надеемся, что это будет исправлено к следующему релизу :). (просто принятие желаемого за действительное )