From 56d03b7e0edbe5e1e48a4e395c3c336f4bf8c907 Mon Sep 17 00:00:00 2001
From: Christoph Blessing <33834216+cblessing24@users.noreply.github.com>
Date: Fri, 29 Sep 2023 14:38:54 +0200
Subject: [PATCH] Add heading attribute to table stub

---
 stubs/datajoint/__init__.pyi | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/stubs/datajoint/__init__.pyi b/stubs/datajoint/__init__.pyi
index 9a050dfb..c70d7ad4 100644
--- a/stubs/datajoint/__init__.pyi
+++ b/stubs/datajoint/__init__.pyi
@@ -11,6 +11,8 @@ class Table:
     def full_table_name(self) -> str: ...
     @property
     def connection(self) -> Connection: ...
+    @property
+    def heading(self) -> Heading: ...
     def children(self, *, as_objects: Literal[True]) -> list[Table]: ...
     def describe(self, *, printout: bool = ...) -> str: ...
     def insert(self, rows: Iterable[Mapping[str, Any]]) -> None: ...
@@ -20,6 +22,8 @@ class Table:
     def proj(self, *attributes: str) -> Table: ...
     def __and__(self: _T, condition: str | PrimaryKey | Iterable[PrimaryKey] | Table) -> _T: ...
 
+class Heading: ...
+
 _T = TypeVar("_T", bound=Table)
 
 class Part: ...