gitlab.com topics: gnome-shell
it-und-entwicklung-fg/Username-and-Hostname
Gnome Shell Extension zum hinzufügen des Benutzernamen und Hostnamen zu Panel.
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
it-und-entwicklung-fg/Panel-DateTime-Format
Anpassen des Uhrzeiformates im Gnome Panel
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
RensOliemans/menumaster
Makes your Menu key actually useful
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
it-und-entwicklung-fg/Gnome-Panel-Tweaks
Aktivitäten Taste entfernt, Anwendungsmenü entfernt, Uhrzeitformat angepasst
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
Azadeh-Afzar/Open-Desktop/MaryamOS
MacOS like theme for gnome-shell, gtk3 with icons and cursors theme.
Last synced at: over 2 years ago - Stars: 1 - Forks: 0
manuee/drupal-gnome-shell-extension
A basic gnome-shell extension to work with your local Drupal website executing drush commands.
Last synced at: over 2 years ago - Stars: 1 - Forks: 0
