(self)
| 1586 | self.glue_spec = glue_spec |
| 1587 | |
| 1588 | def shrink(self) -> None: |
| 1589 | super().shrink() |
| 1590 | if self.size < NUM_SIZE_LEVELS: |
| 1591 | g = self.glue_spec |
| 1592 | self.glue_spec = g._replace(width=g.width * SHRINK_FACTOR) |
| 1593 | |
| 1594 | |
| 1595 | class HCentered(Hlist): |