Terminal usermenu jest GNOME Shell, że rozszerzenie będzie dodać skrót do GNOME & nbsp; Terminal aplikacji w usermenu.Aby zainstalować to rozszerzenie musi być zainstalowany GNOME Shell i cynamon. . Jednak należy pamiętać, że nie został przetestowany z...