Descriptor to get and set padding.
| 230 | |
| 231 | |
| 232 | class PaddingProperty: |
| 233 | """Descriptor to get and set padding.""" |
| 234 | |
| 235 | def __get__(self, obj: Syntax, objtype: Type[Syntax]) -> Tuple[int, int, int, int]: |
| 236 | """Space around the Syntax.""" |
| 237 | return obj._padding |
| 238 | |
| 239 | def __set__(self, obj: Syntax, padding: PaddingDimensions) -> None: |
| 240 | obj._padding = Padding.unpack(padding) |
| 241 | |
| 242 | |
| 243 | class Syntax(JupyterMixin): |