{"version":3,"file":"terminal-manager-preferences.d.ts","sourceRoot":"","sources":["../../src/browser/terminal-manager-preferences.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAO,eAAe,EAAE,gBAAgB,EAAmB,MAAM,aAAa,CAAC;AAEtF,eAAO,MAAM,+BAA+B,EAAE,gBAoB7C,CAAC;AAEF,MAAM,MAAM,+BAA+B,GAAG,MAAM,GAAG,OAAO,CAAC;AAC/D,MAAM,MAAM,oBAAoB,GAAG,QAAQ,GAAG,MAAM,CAAC;AAErD,MAAM,WAAW,4BAA4B;IACzC,oCAAoC,EAAE,+BAA+B,CAAC;IACtE,wBAAwB,EAAE,oBAAoB,CAAC;CAClD;AAED,eAAO,MAAM,0BAA0B,eAAuC,CAAC;AAC/E,eAAO,MAAM,qCAAqC,eAAkD,CAAC;AACrG,MAAM,MAAM,0BAA0B,GAAG,eAAe,CAAC,4BAA4B,CAAC,CAAC"}