gnome: make amount of max workspace thumbnails configurable and set to 11
This commit is contained in:
parent
be2a3c31e5
commit
57f7b11e97
1 changed files with 17 additions and 1 deletions
|
@ -1,6 +1,21 @@
|
|||
{pkgs, ... }:
|
||||
{config, lib, pkgs, ... }:
|
||||
|
||||
let
|
||||
maxThumbnails = config.programs.gnome.extensions.workspaceIndicator.maxThumbnails;
|
||||
workspaceIndicator = pkgs.gnomeExtensions.workspace-indicator.overrideAttrs {
|
||||
postPatch = ''
|
||||
sed -i 's/const MAX_THUMBNAILS = 6;/const MAX_THUMBNAILS = ${maxThumbnails};/' extension.js
|
||||
'';
|
||||
};
|
||||
in
|
||||
{
|
||||
options = {
|
||||
programs.gnome.extensions.workspaceIndicator.maxThumbnails = lib.mkOption {
|
||||
type = lib.types.int;
|
||||
default = 11;
|
||||
description = "The maximum number of thumbnails to show in the workspace indicator";
|
||||
};
|
||||
};
|
||||
imports = [
|
||||
../unstable-packages.nix
|
||||
../dconf-common.nix
|
||||
|
@ -56,6 +71,7 @@
|
|||
];
|
||||
|
||||
environment.systemPackages = with pkgs; [
|
||||
workspaceIndicator
|
||||
gnomeExtensions.pop-shell
|
||||
gnomeExtensions.vitals
|
||||
gnomeExtensions.tray-icons-reloaded
|
||||
|
|
Loading…
Reference in a new issue