Я ищу ppa, который имеет lastet версию, проявляют. Версия, которую я имею, 3.18.2
Я пытался добавить ppa:gnome3-team/gnome3
но это не имеет лучшей версии. (Предупреждение, держитесь подальше от этого ppa, оно повреждает вещи!)
почему?
Я испытываю ошибки с функцией аннотации. Когда я выделяюсь, это сделано вертикально вместо горизонтально, и текстовое положение аннотации смещается так или иначе (вероятно, та же ошибка). Таким образом, возможно, обновление зафиксирует их.