Gnome: add panel workspace scroll extension
This commit is contained in:
parent
8004eba6d9
commit
ab1ffbcfdf
1 changed files with 2 additions and 0 deletions
|
|
@ -11,6 +11,7 @@
|
|||
environment.systemPackages = with pkgs.gnomeExtensions; [
|
||||
appindicator
|
||||
dash-to-dock
|
||||
panel-workspace-scroll
|
||||
];
|
||||
|
||||
home-manager.users.toast = {
|
||||
|
|
@ -18,6 +19,7 @@
|
|||
"org/gnome/shell".enabled-extensions = [
|
||||
"appindicatorsupport@rgcjonas.gmail.com"
|
||||
"dash-to-dock@micxgx.gmail.com"
|
||||
"panel-workspace-scroll@polymeilex.github.io"
|
||||
];
|
||||
"org/gnome/desktop/interface".color-scheme = "prefer-dark";
|
||||
"org/gnome/mutter".dynamic-workspaces = true;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue