anchor.diff:  let
   
     cfg = config.programs.gnome-terminal;
  -
  -  dag = config.lib.dag;
   
     profileColorsSubModule = types.submodule (
       { ... }: {
  
positive.code:       )
      );
  
    buildIniSet = cfg:
      {
        "/" = {
          default-show-menubar = cfg.showMenubar;
          schema-version = 3;
        };
      }
      //
      {
        "profiles:" = {
          default = head (attrNames (filterAttrs (n: v: v.default) cfg.profile));
          list = attrNames cfg.profile;
        };
      }
      //
      mapAttrs' (name: value:
        nameValuePair ("profiles:/:${name}") (buildProfileSet value)
      ) cfg.profile;
  
  in
  
  {
  
negative.code:   config = mkIf cfg.enable {
      home.packages = [ pkgs.gnome3.gnome_terminal ];
  
      dconf.settings =
        let
          dconfPath = "org/gnome/terminal/legacy";
        in
          {
            "${dconfPath}" = {
              default-show-menubar = cfg.showMenubar;
              schema-version = 3;
            };
  
            "${dconfPath}/profiles:" = {
              default = head (attrNames (filterAttrs (n: v: v.default) cfg.profile));
              list = attrNames cfg.profile;
            };
          }
          // mapAttrs' (n: v:
            nameValuePair ("${dconfPath}/profiles:/:${n}") (buildProfileSet v)
          ) cfg.profile;
    };
  }
  