{"version":3,"names":["indentationWidth","Preferences","get"],"sources":["indent.js"],"sourcesContent":["import Preferences from \"src/client/preferences.js\"\n\nexport default function indentationWidth() {\n  return Preferences.get('WiderIndentation') ? 4 : 2;\n}"],"mappings":";;;;EAEe,SAASA,gBAAgB,GAAG;IACzC,OAAOC,WAAW,CAACC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC;EACpD;EAAC,mBAFuBF,gBAAgB;EAAA;IAAA;MAFjCC,WAAW;IAAA;IAAA;MAAA;MAAA;MAAA;QAAA;UAAA;QAAA;QAAA;UAAA,mBAEMD,iDAAgB;UAAA;QAAA;QAAA;QAAA;MAAA;MAAA;QAAA;UAAA;QAAA;QAAA;UAFjCC,4CAAW;UAAA;QAAA;QAAA;QAAA;MAAA;IAAA;EAAA;AAAA"}