Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
presse-papier [Le 18/05/2017, 16:28] L'Africain tags |
presse-papier [Le 12/10/2017, 14:34] L'Africain [pour Unity] |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
- | {{tag>portail personnalisation bureautique extension gnome unity kde}} | + | {{tag>portail personnalisation bureautique extensions_GNOME gnome unity kde }} |
---- | ---- | ||
Ligne 22: | Ligne 22: | ||
* [[Diodon]] : gestionnaire développé sous GTK+3 apportant un indicateur d’application et un Lens pour Unity. | * [[Diodon]] : gestionnaire développé sous GTK+3 apportant un indicateur d’application et un Lens pour Unity. | ||
* [[Glipper]] : gestionnaire de presse-papier, avec quelques bugs, et partiellement en anglais. | * [[Glipper]] : gestionnaire de presse-papier, avec quelques bugs, et partiellement en anglais. | ||
- | * [[Pastie]] : gestionnaire de presse-papier avec possibilité d'édition des copies et support des images (semble bogué). | ||
==== pour Mate ==== | ==== pour Mate ==== |