From de275d701184daa5f09ac375d5f6b7b8b6f678e2 Mon Sep 17 00:00:00 2001 From: Dave Pearson Date: Thu, 10 Nov 2022 19:57:08 +0000 Subject: [PATCH] Flesh out the Prune event docs --- src/textual/events.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/textual/events.py b/src/textual/events.py index a2cd27190..0eb5abac3 100644 --- a/src/textual/events.py +++ b/src/textual/events.py @@ -128,7 +128,12 @@ class Unmount(Mount, bubble=False, verbose=False): class Prune(Event, bubble=False): - """Sent to the app to ask it to prune one or more widgets from the DOM.""" + """Sent to the app to ask it to prune one or more widgets from the DOM. + + Attributes: + widgets (list[Widgets]): The list of widgets to prune. + finished_flag (asyncio.Event): An asyncio Event to that will be flagged when the prune is done. + """ def __init__( self, sender: MessageTarget, widgets: list[Widget], finished_flag: asyncio.Event