Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 29/01/2023, à 12:52

FLXFLX

Dash to Dock & Dash to Panel en même temps

Bonjour,

J'essaye Gnome.

J'aime bien
- un dock à gauche de l'écran, avec les applications que j'ouvre souvent, où je vais chercher ce que je veux ouvrir
- la liste des applications ouvertes dans la barre supérieure, où je vois ce que je fais

J'ai donc l'extension Dash to Dock, j'y ai coché "afficher les applications épinglées" et décoché "afficher les applications en cours".
Et l'extensoin Dash to Panel, où j'ai fait l'inverse.

Par contre, au démarrage, je n'ai plus de barre supérieure du tout. Je dois redémarrer Dash to Panel à chaque fois.
Il doit y avoir un conflit entre les deux ?

Quelqu'un ici a eu le même problème.
La solution proposée peut marcher, mais alors je n'ai plus les applications ouvertes dans la barre supérieure.

Ça n'est vraiment pas très important, mais bon, ça me plairait d'avoir cette configuration qui marche.

Quelqu'un a une idée de solution ?

Dernière modification par FLXFLX (Le 29/01/2023, à 12:52)

Hors ligne

#2 Le 02/02/2023, à 21:03

bluc

Re : Dash to Dock & Dash to Panel en même temps

Bonjour
As tu désactivé Dash-to-panel quand tu utilises dash-to-dock et inversement depuis "Extension" ou depuis la page des extensions gnome

Dernière modification par bluc (Le 02/02/2023, à 21:03)


Clevo :  Ubuntu 23.10   ❖  Xubuntu 22.10  ❖  Kubuntu 23.10   
         avec partition data commune       Une fraction de seconde                    Multiboot

Hors ligne

#3 Le 11/02/2023, à 17:02

FLXFLX

Re : Dash to Dock & Dash to Panel en même temps

Bonjour,
J'utiise l'Extension Manager.
Au démarrage, Dash to Dock & Dash to Panel sont toutes deux affichées comme activées dans le gestionnaire d'extensions.
J'ai un dock, mais je n'ai pas de barre supérieure à l'écran.
Je dois désactiver-réactiver Dash to Dock ou Dash to Panel pour avoir le dock et la barre supérieure, comme je veux.
C'est la même manip à chaque démarrage.

Hors ligne

#4 Le 27/01/2024, à 18:07

FLXFLX

Re : Dash to Dock & Dash to Panel en même temps

Bonjour,

À chaque démarrage, du coup, je n'ai que le Dock.
Je dois ouvrir l'Extension Manager, désactiver/réactiver les extensions, pour avoir aussi la barre supérieure.

Pas un gros souci, mais peut-être que ça peut parler à quelqu'un aujourd'hui ?

Hors ligne

#5 Le 03/02/2024, à 14:54

bluc

Re : Dash to Dock & Dash to Panel en même temps

Il ne faut pas que Dash-to-panel et dash-to-dock soient activer en meme temps

Si tu désinstalles dash-to-panel la barre en haut doit etre là

Dernière modification par bluc (Le 03/02/2024, à 14:59)


Clevo :  Ubuntu 23.10   ❖  Xubuntu 22.10  ❖  Kubuntu 23.10   
         avec partition data commune       Une fraction de seconde                    Multiboot

Hors ligne

#6 Le 07/02/2024, à 19:45

ft

Re : Dash to Dock & Dash to Panel en même temps

Tu peux utiliser :
https://extensions.gnome.org/extension/6556/task-up/
qui est bien moins intrusive que Dash to panel.
En tout cas c'est comme ça que je l'ai conçue. Tu peux afficher les icônes et/ou les titres de fenêtre.


Ubuntu 24.04

Hors ligne

#7 Le 10/03/2024, à 13:41

FLXFLX

Re : Dash to Dock & Dash to Panel en même temps

Cool, ça a l'air d'être ce que je cherche !
J'aimerais essayer.
L'extension est incompatible avec ma version de Gnome...
Les détails techniques :

SyntaxError: import declarations may only appear at top level of a module

Stack trace:
  _init@resource:///org/gnome/Shell/Extensions/js/extensionPrefsDialog.js:23:33
  ExtensionPrefsDialog@resource:///org/gnome/Shell/Extensions/js/extensionPrefsDialog.js:10:4
  OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:129:33
  asyncCallback@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:115:22
  run@resource:///org/gnome/Shell/Extensions/js/dbusService.js:186:20
  main@resource:///org/gnome/Shell/Extensions/js/main.js:22:13
  run@resource:///org/gnome/gjs/modules/script/package.js:206:19
  start@resource:///org/gnome/gjs/modules/script/package.js:190:8
  @/usr/share/gnome-shell/org.gnome.Shell.Extensions:1:17

Je mets à jour, peut-être que ça va changer.

Hors ligne

#8 Le 10/03/2024, à 15:10

Coeur Noir

Re : Dash to Dock & Dash to Panel en même temps

Oui c'était normal : c'est Dash-to-Panel ou Dash-to-Dock, pas les deux en même temps : Dash-to-Panel « éteint » Dash-to-dock.

Pourquoi pas, du même auteur, DashBar → https://extensions.gnome.org/extension/5143/dashbar/ ?


DébuterDocBien rédigerRetour commandeInsérer image | illustrations & captures d'écran <>

En ligne