From 5a65efcfbaeb141856c5bb24357a5d1c8d015179 Mon Sep 17 00:00:00 2001
From: Malte Brandy <malte.brandy@maralorn.de>
Date: Mon, 6 Jun 2022 23:21:00 +0200
Subject: [PATCH] add missing option to dash-to-panel config

---
 home-manager/roles/gnome.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/home-manager/roles/gnome.nix b/home-manager/roles/gnome.nix
index 2f9bedd6..f35c1ea9 100644
--- a/home-manager/roles/gnome.nix
+++ b/home-manager/roles/gnome.nix
@@ -192,6 +192,7 @@ in {
       trans-panel-opacity = 0.0;
       tray-size = 12;
       leftbox-size = 12;
+      trans-use-custom-opacity = true;
     };
 
     "org/gnome/shell/extensions/user-theme" = {