permissionReplaceableIndentDiscard top-level property

Permission permissionReplaceableIndentDiscard
getter/setter pair

Implementation

Permission permissionReplaceableIndentDiscard = Permission(
  uid: 'replaceable-indents-extra-discard',
  name: 'Replaceable Indent Discard',
  description: 'Permission to discard a replaceable indent',
);