Compute padding parameters for Box widget lazily.#1883

jonathanslenders merged 1 commit intomasterprompt-toolkit/python-prompt-toolkit:masterfrom

lazy-padding-boxprompt-toolkit/python-prompt-toolkit:lazy-padding-boxCopy head branch name to clipboard