anchor.diff:        Option "XkbOptions" "${cfg.xkbOptions}"
       '';
   
  -    xkbModel = cfg.xkbModel;
  -    layout = cfg.layout;
  -
  -    corePointer = if cfg.synaptics.enable then "Touchpad[0]" else "Mouse[0]";
  +    setCorePointer = 
  +      if cfg.synaptics.enable then ''
  +        InputDevice "Touchpad[0]" "CorePointer"
  +      '' else "";
   
       internalAGPGART =
         if cfg.useInternalAGPGART == "yes" then
  
positive.code: in
  {
    name = "kdm";
      
    job = ''
      description "KDE Display Manager"
  
  
negative.code:   resolutions = map (res: ''"${toString res.x}x${toString res.y}"'') (cfg.resolutions);
    sessionType = cfg.sessionType;
  
    videoDriverModules = getAttr [ videoDriver ] (throw "unknown video driver: `${videoDriver}'") knownVideoDrivers;
  
    modules = 
  
  