diff options
| author |   cschen <[email protected]> | 2025-09-28 18:24:41 +0200 |
|---|---|---|
| committer | cschen <[email protected]> | 2025-09-28 18:24:41 +0200 |
| commit | 7f27e7e4041e8f360db3ff2129815b484fe69c87 (patch) | |
| tree | 1d81b8df8d9e4d41ec055d4f1f8b6b035f39e091 /plugin | |
| parent | aa451251efc68bf8fd9ffb40dc64b6d3478dc2e3 (diff) | |
Diffstat (limited to 'plugin')
| -rw-r--r-- | plugin/core/workspace.py | 1 | ||||
| -rw-r--r-- | plugin/logpanel.py | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/plugin/core/workspace.py b/plugin/core/workspace.py index 7a13d99..a052d8f 100644 --- a/plugin/core/workspace.py +++ b/plugin/core/workspace.py @@ -76,6 +76,7 @@ def workspace_callback(ws: codemp.Workspace): if isinstance(event, Event.UserLeave): #type:ignore logger.debug(f"User '{event.name}' left the workspace '{ws.id}'") #type:ignore + sublime.set_timeout_async(_) class WorkspaceManager(): diff --git a/plugin/logpanel.py b/plugin/logpanel.py index 4b281ea..c76adaf 100644 --- a/plugin/logpanel.py +++ b/plugin/logpanel.py @@ -87,7 +87,7 @@ class CodempLogger(): self.pkg_logger.addHandler(self.filehandler) self.pkg_logger.addHandler(self.panelhandler) - def disenable_logging(self): + def disable_logging(self): self.pkg_logger.removeHandler(self.filehandler) self.pkg_logger.removeHandler(self.panelhandler) |