{"version":3,"names":["indentationWidth","Preferences","get","_export","setters","_srcClientPreferencesJs","default","execute","__SystemJSRewritingHack","_recorder_","_src_components_widgets_indent_js","Object","defineProperty","set","thisIsVererySecretVariableName","enumerable","configurable"],"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,gBAAgBA,CAAA,EAAG;IACzC,OAAOC,WAAW,CAACC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC;EACpD;EAACC,OAAA,YAFuBH,gBAAgB;EAAA;IAAAI,OAAA,aAAAC,uBAAA;MAFjCJ,WAAW,GAAAI,uBAAA,CAAAC,OAAA;IAAA;IAAAC,OAAA,WAAAA,CAAA;MAAAC,uBAAA;MAAAC,UAAA,CAAAC,iCAAA,GAAAD,UAAA,CAAAC,iCAAA;MAAAC,MAAA,CAAAC,cAAA,CAAAH,UAAA,CAAAC,iCAAA;QAAAR,IAAA;UAAA,OAAAF,gBAAA;QAAA;QAAAa,IAAAC,8BAAA;UAAAX,OAAA,YAEMH,gBAAA,CAAAA,CAAA,CAAAA,8BAAgB;UAAA;QAAA;QAAAe,UAAA;QAAAC,YAAA;MAAA;MAAAL,MAAA,CAAAC,cAAA,CAAAH,UAAA,CAAAC,iCAAA;QAAAR,IAAA;UAAA,OAAAD,WAAA;QAAA;QAAAY,IAAAC,8BAAA;UAFjCb,WAAA,CAAAA,CAAA,CAAAA,8BAAW;UAAA;QAAA;QAAAc,UAAA;QAAAC,YAAA;MAAA;IAAA;EAAA;AAAA"}