From cad5f72b0ac4cfbdee09c05aab5962fc2763a777 Mon Sep 17 00:00:00 2001 From: A_D Date: Mon, 27 Jul 2020 11:26:31 +0200 Subject: [PATCH] updated type annotation --- plugins/eddb.py | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/plugins/eddb.py b/plugins/eddb.py index 83f4be59..43a5b09f 100644 --- a/plugins/eddb.py +++ b/plugins/eddb.py @@ -24,11 +24,15 @@ import sys -from typing import Any, Optional +import tkinter +from typing import Any, Optional, TYPE_CHECKING import requests from config import config +if TYPE_CHECKING: + from tkinter import Tk + STATION_UNDOCKED: str = '×' # "Station" name to display when not docked = U+00D7 @@ -39,7 +43,7 @@ this.system_link: Optional[str] = None this.system: Optional[str] = None this.system_address: Optional[str] = None this.system_population: Optional[int] = None -this.station_link = None # tk thing, not annotated +this.station_link: 'Optional[tkinter.Tk]' = None this.station: Optional[str] = None this.station_marketid: Optional[int] = None @@ -67,7 +71,7 @@ def plugin_start3(plugin_dir): return 'eddb' -def plugin_app(parent): +def plugin_app(parent: 'tkinter.Tk'): this.system_link = parent.children['system'] # system label in main window this.system = None this.system_address = None