mirror of
https://github.com/aclist/dztui.git
synced 2026-11-13 21:31:52 +01:00
This commit is contained in:
1 parent
afbced228d
commit
7ae5880890
1 file changed
+5
-1
@@ -19,7 +19,11 @@ if TYPE_CHECKING:
|
|||||||
|
|
||||||
class ContextualButton(Gtk.Button):
|
class ContextualButton(Gtk.Button):
|
||||||
def __init__(
|
def __init__(
|
||||||
self, label: str, opens: "NotebookPage" | None, tooltip: str, context: ButtonType
|
self,
|
||||||
|
label: str,
|
||||||
|
opens: "NotebookPage | None",
|
||||||
|
tooltip: str,
|
||||||
|
context: ButtonType,
|
||||||
) -> None:
|
) -> None:
|
||||||
super().__init__(
|
super().__init__(
|
||||||
label=label,
|
label=label,
|
||||||
|
|||||||
Reference in new issue
Block a user