blog.notmyidea.org/content/code/2012-12-27-gnome-shell.md
Alexis Métaireau 9df3b183b6 Enhanced UI & UX; Added New ISBN Plugin.
- Added the ability to display book cover for the category "Lectures" if ISBN cover is available.
- Moved author's name into a small tag for better hierarchy and readability.
- Implemented a feature to indicate link sizes depending on the number of articles associated with a given tag.
- Implemented a mini footer element displaying an RSS feed icon.
- Improved category display using description dictionary.
- Added a new plugin "isbn_downloader" to fetch ISBN information when needed.
- Included the count of articles for each category.
- Implemented changes for better layout and readability of tags and categories.
- Adjusted the layout of the webpage, improving the overall look of the page.
- Included "requests" in the requirements.txt for supplanting dependencies required by the new plugin and/or features.
2023-09-29 18:30:09 +02:00

41 lines
1.9 KiB
Markdown

# Gnome 3, extensions
Après avoir tenté pendant un bout de temps unity, le bureau par defaut
de ubuntu, j'ai eu envie de changements, et j'ai donc essayé un peu de
regarder du coté de gnome 3, à nouveau.
Et finalement, j'ai trouvé quelques extensions qui sont vraiment utiles,
que je liste ici.
- [Antisocial
Menu](https://extensions.gnome.org/extension/547/antisocial-menu/)
vire les boutons et textes en rapport avec le web social. J'en avais
pas besoin puisque je suis connecté à mon instant messenger dans un
terminal, en utilisant weechat.
- [Coverflow
Alt-Tab](https://extensions.gnome.org/extension/97/coverflow-alt-tab/)
change le switcher d'applications par defaut. Je le trouve bien plus
pratique que celui par defaut puisqu'il me permet de voir "en grand"
quelle est la fenêtre que je vais afficher.
- [Media player
indicator](https://extensions.gnome.org/extension/55/media-player-indicator/)
me permet de voir en temps réel ce qui se passe dans mon lecteur
audio. Ça semble ne pas être grand chose, mais ça me manquait. Ça
s'intègre niquel avec Spotify, et ça c'est chouette.
- [Rechercher dans les bookmarks
firefox](https://extensions.gnome.org/extension/149/search-firefox-bookmarks-provider/)
permet de… à votre avis ?
Un peu moins utile mais sait on jamais:
- “[Advanced Settings in
UserMenu](https://extensions.gnome.org/extension/130/advanced-settings-in-usermenu/)”
permet d'avoir un raccourci vers les paramètres avancés dans le menu
utilisateur (en haut à droite)
- Une [intégration à Getting things
Gnome](https://extensions.gnome.org/extension/409/gtg-integration/)
(un truc de GTD). Je suis en train d'expérimenter avec cet outil,
donc je ne sais pas encore si ça va rester, mais pourquoi pas.
Vous pouvez aller faire un tour sur <https://extensions.gnome.org/> pour
en trouver d'autres à votre gout.