0990login:Penguin垢版2018/11/12(月) 08:19:00.19ID:VIjco3Tf GNOME Shell Extensionsの Applications Menuって Ubuntu18.04では動かないの?