anchor.diff:        )
       );
   
  -  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
   
   {
  
positive.code:     }
    );
  
    toDconfIni = generators.toINI { mkKeyValue = mkIniKeyValue; };
  
    mkIniKeyValue = key: value:
      let
        tweakVal = v:
          if isString v then "'${v}'"
          else if isList v then "[" + concatStringsSep "," (map tweakVal v) + "]"
          else if isBool v && v then "true"
          else if isBool v && !v then "false"
          else toString v;
      in
        "${key}=${tweakVal value}";
  
    buildProfileSet = pcfg:
      {
        visible-name = pcfg.visibleName;
  
negative.code: let
  
    cfg = config.programs.gnome-terminal;
  
    profileColorsSubModule = types.submodule (
      { ... }: {
  