J'ai récemment mis à niveau vers 18.04, mais j'ai eu quelques problèmes lors de la mise à niveau qui ont entraîné l'absence de quai. L'onglet Dock est également vide dans les paramètres. Comment puis-je installer le dock et l'activer? Mise à jour: voici à quoi ressemblent mes paramètres de dock...