Make mypy happy

This commit is contained in:
Kovid Goyal 2023-08-25 14:09:16 +05:30
parent f50660bb30
commit 0bbc2ad734
No known key found for this signature in database
GPG key ID: 06BC317B515ACE7C

View file

@ -142,7 +142,7 @@ def __init__(
self.name = getattr(session_tab, 'name', '')
self.enabled_layouts = [x.lower() for x in getattr(session_tab, 'enabled_layouts', None) or get_options().enabled_layouts]
self.borders = Borders(self.os_window_id, self.id)
self.windows = WindowList(self)
self.windows: WindowList = WindowList(self)
self._last_used_layout: Optional[str] = None
self._current_layout_name: Optional[str] = None
self.cwd = self.args.directory