{"version":3,"sources":["https://lively-kernel.org/lively4/swd21-pipes-and-filters/src/components/widgets/indent.js"],"names":["Preferences","indentationWidth","get"],"mappings":";;;;;;AAAOA,iB;;;;;;;;;;;6BAEiBC,iD;;;;;;;;;;;;;;AAFjBD,sD;;;;;;;AAEQ,eAASC,gBAAT,GAA4B;AACzC,eAAOD,YAAYE,GAAZ,CAAgB,kBAAhB,IAAsC,CAAtC,GAA0C,CAAjD;AACD;;yBAFuBD,gB","file":"indent.js","sourcesContent":["import Preferences from \"src/client/preferences.js\"\n\nexport default function indentationWidth() {\n  return Preferences.get('WiderIndentation') ? 4 : 2;\n}"]}