Wie kann ich in Ubuntu 18.04/19 das Scrollen im Menü zulassen, wie es bei Ubuntu 16.04 der Fall ist?

Wie kann ich in Ubuntu 18.04/19 das Scrollen im Menü zulassen, wie es bei Ubuntu 16.04 der Fall ist?

Ich portiere ein Programm von Linux Ubuntu 16.04 auf Ubuntu 18.04 und 19. Ich verwende appindicator-1.0 in Verbindung mit dem Gtk+2.0-Menü. Das Menü besteht aus konstanten Elementen und vielen dynamisch hinzugefügten Elementen. Wenn die Bildschirmauflösung nicht so gut ist, wie sie sein sollte, sind die letzten Menüelemente nicht sichtbar. Ubuntu 16.04 fügt automatisch obere und untere Balken mit den Pfeilen „^“ und „v“ zum Scroll-Menü hinzu, wenn sich der Mauszeiger über diesen Balken befindet. Aber in Linux Ubuntu 18.04 und 19 werden solche Scroll-Balken nicht angezeigt! Wo muss ich suchen, um dieses Problem zu lösen?

verwandte Informationen