Estou portando o programa do Linux Ubuntu 16.04 para o Ubuntu 18.04 e 19. Estou usando o appindicator-1.0 em conjunto com o menu Gtk+2.0. O menu consiste em itens constantes e muitos itens adicionados dinamicamente. Se a resolução de pixels da tela não for tão boa quanto deveria, os últimos itens do menu não serão visíveis. O Ubuntu 16.04 adiciona automaticamente barras superior e inferior com as setas "^" e "v" para rolar o menu quando o ponteiro do mouse está sobre essas barras. Mas no Linux Ubuntu 18.04 e 19 essas barras de rolagem não aparecem! Onde devo cavar para resolver esse problema?