From e363daa3f6aaae2d6f117b3e7c13a88150f6c87e Mon Sep 17 00:00:00 2001 From: kraanzu Date: Wed, 25 Oct 2023 17:17:57 +0530 Subject: [PATCH] fix: replace `Type|None` with `Optional[Type]` (closes #145) --- dooit/ui/widgets/base.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/dooit/ui/widgets/base.py b/dooit/ui/widgets/base.py index fcc17290..f60c095e 100644 --- a/dooit/ui/widgets/base.py +++ b/dooit/ui/widgets/base.py @@ -1,3 +1,4 @@ +from typing import Optional from textual.widget import Widget from dooit.ui.events.events import ChangeStatus, Notify, StatusType from dooit.utils.keybinder import KeyBinder, KeyList @@ -12,9 +13,9 @@ class KeyWidget(Widget): def __init__( self, *children: Widget, - name: str | None = None, - id: str | None = None, - classes: str | None = None, + name: Optional[str] = None, + id: Optional[str] = None, + classes: Optional[str] = None, disabled: bool = False ) -> None: super().__init__(