Merge pull request #2679 from davep/fix-dock-type-warning

Fix the dock type warning
This commit is contained in:
Dave Pearson
2023-05-29 13:55:32 +01:00
committed by GitHub

View File

@@ -570,7 +570,7 @@ class DockProperty:
""" """
return cast(DockEdge, obj.get_rule("dock", "")) return cast(DockEdge, obj.get_rule("dock", ""))
def __set__(self, obj: Styles, dock_name: str | None): def __set__(self, obj: StylesBase, dock_name: str | None):
"""Set the Dock property. """Set the Dock property.
Args: Args: