From 02cb0313cbe0c6852ad18f4c9a490fc727004713 Mon Sep 17 00:00:00 2001 From: Will McGugan Date: Sat, 1 Oct 2022 14:47:02 +0100 Subject: [PATCH] polish --- src/textual/timer.py | 1 + src/textual/widget.py | 1 + 2 files changed, 2 insertions(+) diff --git a/src/textual/timer.py b/src/textual/timer.py index edbc6e594..938b0e1c6 100644 --- a/src/textual/timer.py +++ b/src/textual/timer.py @@ -118,6 +118,7 @@ class Timer: self._active.clear() def reset(self) -> None: + """Reset the timer, so it starts from the beginning.""" self._active.set() self._reset = True diff --git a/src/textual/widget.py b/src/textual/widget.py index 3657d98bc..c5d29b305 100644 --- a/src/textual/widget.py +++ b/src/textual/widget.py @@ -697,6 +697,7 @@ class Widget(DOMNode): @property def content_size(self) -> Size: + """Get the size of the content area.""" return self.region.shrink(self.styles.gutter).size @property