Skip to content
GitLab
Explore
Sign in
Florian Müllner
gnome-shell-extensions
Repository
Branches
Overview
Active
Stale
All
top-icons
ae352403
·
top-icons: Add new extension
·
Apr 24, 2024
apps-menu-cleanups
3e9d6480
·
apps-menu: Stop using deprecated vscroll-bar property
·
Feb 02, 2024
fix-drive-menu
092b2688
·
drive-menu: Remove left-over signal connection
·
Sep 29, 2023
light-lock
5b440496
·
light-style: Enable on lock screen
·
Sep 05, 2023
metadata-ini
7be02c0e
·
extensions: Switch metadata format
·
Jun 03, 2022
list-focus
ae50b3f0
·
auto-move-windows: Focus previous row on removal
·
Apr 19, 2022
fake-release
496581cc
·
Bump version to 41.fake
·
Aug 31, 2021
ci-update
9de592fe
·
ci: Switch to updated gnome-shell image
·
Nov 19, 2020
user-theme-prefs
739b1e11
·
user-themes: Add preference widget
·
Apr 12, 2020
GNOME/gnome-shell-extensions!117
master
default
2ef6dba0
·
window-list: Fix resetting handler ID
·
Jun 29, 2019
gnome-3-30
c394dbef
·
Update Scottish Gaelic translation
·
Feb 16, 2019
wip/fmuellner/fix-113-3-30
c960a6f6
·
window-list: Temporarily revert back to Lang.Class
·
Oct 10, 2018
add-desktop-icons
07b7c253
·
general: Add desktop icons extension
·
Aug 22, 2018
gnome-3-28
520b10ea
·
Update Afrikaans translation
·
May 19, 2018
gnome-3-24
b3f1a728
·
Update zh_CN translation
·
Mar 21, 2018
gnome-3-26
8924022a
·
Update zh_CN translation
·
Mar 21, 2018
wip/fmuellner/53-hide-network-mounts
69e2c51b
·
drive-menu: Don't assume mounts without volume are local
·
Feb 05, 2018
wip/psychotic/activate-ws
905111b8
·
Same functionality + configurability
·
Nov 25, 2017
wip/gcampagna/add-more-places
8feda1c0
·
places-menu: add Recent and Trash
·
Nov 25, 2017
wip/gcampagna/add-monitor-option
5228d457
·
auto-move-windows: allow specifying a monitor index too
·
Nov 25, 2017
Prev
1
2
Next