| 1234567891011121314151617 |
- """Base classes."""
- from __future__ import annotations
- from typing import TYPE_CHECKING
- from jupyter_server.extension.handler import ExtensionHandlerMixin
- if TYPE_CHECKING:
- from jupyter_server_terminals.terminalmanager import TerminalManager
- class TerminalsMixin(ExtensionHandlerMixin):
- """An extension mixin for terminals."""
- @property
- def terminal_manager(self) -> TerminalManager:
- return self.settings["terminal_manager"] # type:ignore[no-any-return]
|