| 1 | {"version":3,"file":"status-bar-types.js","sourceRoot":"","sources":["../../../src/browser/status-bar/status-bar-types.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,0CAA0C;AAC1C,EAAE;AACF,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,yDAAyD;AACzD,uDAAuD;AACvD,EAAE;AACF,gFAAgF;AAChF,gFAAgF;;;AAqChF,IAAY,kBAEX;AAFD,WAAY,kBAAkB;IAC1B,2DAAI,CAAA;IAAE,6DAAK,CAAA;AACf,CAAC,EAFW,kBAAkB,GAAlB,0BAAkB,KAAlB,0BAAkB,QAE7B;AAEY,QAAA,2BAA2B,GAAG,WAAW,CAAC;AAE1C,QAAA,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC"} |