summary refs log tree commit diff
path: root/pkgs/desktops/gnome/extensions
Commit message (Expand)AuthorAge
* Merge pull request #130286 from rhoriguchi/gnomeExtensions.fuzzy-app-searchSandro2021-07-20
|\
| * gnomeExtensions.fuzzy-app-search: remove custom packagingRyan Horiguchi2021-07-15
* | Merge pull request #129932 from r-ryantm/auto-update/gnome-shell-extension-ar...Ben Siraphob2021-07-19
|\ \ | |/ |/|
| * gnomeExtensions.arcmenu: 10 -> 12R. RyanTM2021-07-11
* | Merge pull request #124315 from piegamesde/gnome-extensionsJan Tojnar2021-07-14
|\ \ | |/ |/|
| * gnomeExtensions.appindicator: Remove manual packagingpiegames2021-07-14
| * gnomeExtensions.dynamic-panel-transparency: Remove manual packagingpiegames2021-07-14
| * gnomeExtensions.clipboard-indicator: Remove manual packagingpiegames2021-07-14
| * gnomeExtensions.disable-unredirect: Remove manual packagingpiegames2021-07-14
| * gnomeExtensions.draw-on-your-screen: Remove manual packagingpiegames2021-07-14
| * gnomeExtensions: Remove gtilepiegames2021-07-14
| * gnomeExtensions.hot-edge: Remove manual packagingpiegames2021-07-14
| * gnomeExtensions.material-shell: Remove manual packagingpiegames2021-07-14
| * gnomeExtensions.mpris-indicator-button: Remove manual packagingpiegames2021-07-14
| * gnomeExtensions.noannoyance: Remove manual packagingpiegames2021-07-14
| * gnomeExtensions.timepp: Remove manual packagingpiegames2021-07-14
| * gnomeExtensions.window-is-ready-remover: Remove manual packagingpiegames2021-07-14
| * gnomeExtensions.workspace-matrix: Remove manual packagingpiegames2021-07-14
| * gnomeExtensions: integrate manually packaged extensions better with the otherspiegames2021-07-14
| * gnomeExtensions: rename uuid field to extensionUuidpiegames2021-07-14
| * gnomeExtensions: Remove remove-dropdown-arrowspiegames2021-07-14
* | gnomeExtensions.gsconnect: Remove me as maintainerElis Hirwing2021-06-25
* | gnomeExtensions.system-monitor: 2021-05-04 -> 2021-06-19Bjørn Forsman2021-06-19
* | gnomeExtensions.dash-to-panel: 40 -> 43Eduardo Sánchez Muñoz2021-06-18
* | gnomeExtensions.night-theme-switcher: 40 -> 50 (#125725)Mattherix2021-06-10
|/
* Merge pull request #124236 from r-ryantm/auto-update/gnome-shell-extension-uniteRyan Mulligan2021-06-06
|\
| * gnomeExtensions.unite: 53 -> 54R. RyanTM2021-05-24
* | gnomeExtensions: allowAliases should default to true if unsetAnders Kaseorg2021-06-01
* | gnomeExtensions.freon: 40 -> 44R. RyanTM2021-05-28
* | Merge pull request #124280 from Mdsp9070/gnome-extensions-gTileSandro2021-05-27
|\ \
| * | gTile: init at 44Matheus de Souza Pessanha2021-05-24
| |/
* | gnomeExtensions: Fix the package namesJan Tojnar2021-05-25
* | gnomeExtensions: normalize pnamesJan Tojnar2021-05-24
|/
* gnome: Package all the GNOME extensionspiegames2021-05-21
* gnomeExtensions.fuzzy-app-search: 4 -> 4.0.1Ryan Horiguchi2021-05-19
* Merge pull request #123096 from mschuwalow/update-clipboard-indicatorJan Tojnar2021-05-18
|\
| * gnomeExtensions.clipboard-indicator: 37 -> 38Maxim Schuwalow2021-05-16
* | Merge pull request #123185 from rhoriguchi/gnomeExtensions.dynamic-panel-tran...Sandro2021-05-18
|\ \
| * | gnomeExtensions.dynamic-panel-transparency: 35 -> unstable-2021-03-04Ryan Horiguchi2021-05-17
* | | Merge pull request #122923 from rhoriguchi/gnomeExtensions.caffeineSandro2021-05-17
|\ \ \ | |/ / |/| |
| * | gnomeExtensions.caffeine: 37 -> 38Ryan Horiguchi2021-05-14
| |/
* | Merge pull request #123114 from eduardosm/gnome-shell-system-monitor-appletJan Tojnar2021-05-15
|\ \
| * | gnomeExtensions.system-monitor: unstable-2021-04-08 -> unstable-2021-05-04Eduardo Sánchez Muñoz2021-05-15
| |/
* / gnomeExtensions.sound-output-device-chooser: 35 -> 38Doron Behar2021-05-15
|/
* Merge pull request #122269 from eduardosm/gnome-arcmenuSandro2021-05-10
|\
| * gnomeExtensions.arcmenu: 5 -> 10Eduardo Sánchez Muñoz2021-05-09
* | gnomeExtensions.appindicator: 36 -> 37Eduardo Sánchez Muñoz2021-05-09
|/
* gnomeExtensions.disable-unredirect: unstable-2021-01-17 -> unstable-2021-04-13Eduardo Sánchez Muñoz2021-05-08
* Merge #121780: treewide meta.maintainers tweaksVladimír Čunát2021-05-08
* gnome: rename from gnome3Jan Tojnar2021-05-08