refactor into smaller files.

Former-commit-id: 37ef53ddc4524891b0b3cddb6af9eabc020055da

client_commands.py

@@ -0,0 +1,189 @@
+# pyright: ignore[reportIncompatibleMethodOverride]
+
+import sublime
+import sublime_plugin
+import logging
+import random
+
+from .src.client import client
+from input_handlers import SimpleTextInput
+from input_handlers import SimpleListInput
+from input_handlers import ActiveWorkspacesIdList
+
+logger = logging.getLogger(__name__)
+
+# Client Commands
+#############################################################################
+# Connect Command
+class CodempConnectCommand(sublime_plugin.WindowCommand):
+    def is_enabled(self) -> bool:
+        return client.codemp is None
+
+    def run(self, server_host, user_name, password):  # pyright: ignore[reportIncompatibleMethodOverride]
+        logger.info(f"Connecting to {server_host} with user {user_name}...")
+        def _():
+            try:
+                client.connect(server_host, user_name, password)
+            except Exception as e:
+                logger.error(f"Could not connect: {e}")
+                sublime.error_message(
+                    "Could not connect:\n Make sure the server is up\n\
+                    and your credentials are correct."
+                )
+
+        sublime.set_timeout_async(_)
+
+    def input_description(self):
+        return "Server host:"
+
+    def input(self, args):
+        if "server_host" not in args:
+            return SimpleTextInput(
+                ("server_host", "http://code.mp:50053"),
+                ("user_name", f"user-{random.random()}"),
+                ("password", "password?"),
+            )
+
+        if "user_name" not in args:
+            return SimpleTextInput(
+                ("user_name", f"user-{random.random()}"),
+                ("password", "password?"),
+            )
+
+        if "password" not in args:
+            return SimpleTextInput(
+                ("password", "password?"),
+            )
+
+
+# Disconnect Command
+class CodempDisconnectCommand(sublime_plugin.WindowCommand):
+    def is_enabled(self):
+        return client.codemp is not None
+
+    def run(self):
+        client.disconnect()
+
+
+# Join Workspace Command
+class CodempJoinWorkspaceCommand(sublime_plugin.WindowCommand):
+    def is_enabled(self) -> bool:
+        return client.codemp is not None
+
+    def run(self, workspace_id):  # pyright: ignore[reportIncompatibleMethodOverride]
+        assert client.codemp is not None
+        if workspace_id is None:
+            return
+
+        logger.info(f"Joining workspace: '{workspace_id}'...")
+        promise = client.codemp.join_workspace(workspace_id)
+        active_window = sublime.active_window()
+
+        def defer_instantiation(promise):
+            try:
+                workspace = promise.wait()
+            except Exception as e:
+                logger.error(
+                    f"Could not join workspace '{workspace_id}'.\n\nerror: {e}"
+                )
+                sublime.error_message(f"Could not join workspace '{workspace_id}'")
+                return
+            client.install_workspace(workspace, active_window)
+
+        sublime.set_timeout_async(lambda: defer_instantiation(promise))
+        # the else shouldn't really happen, and if it does, it should already be instantiated.
+        # ignore.
+
+    def input_description(self):
+        return "Join:"
+
+    def input(self, args):
+        assert client.codemp is not None
+        if "workspace_id" not in args:
+            list = client.codemp.list_workspaces(True, True)
+            return SimpleListInput(
+                ("workspace_id", list.wait()),
+            )
+
+
+# Leave Workspace Command
+class CodempLeaveWorkspaceCommand(sublime_plugin.WindowCommand):
+    def is_enabled(self):
+        return client.codemp is not None and len(client.all_workspaces(self.window)) > 0
+
+    def run(self, workspace_id: str):  # pyright: ignore[reportIncompatibleMethodOverride]
+        assert client.codemp is not None
+        if client.codemp.leave_workspace(workspace_id):
+            vws = client.workspace_from_id(workspace_id)
+            if vws is not None:
+                client.uninstall_workspace(vws)
+        else:
+            logger.error(f"could not leave the workspace '{workspace_id}'")
+
+    def input(self, args):
+        if "workspace_id" not in args:
+            return ActiveWorkspacesIdList()
+
+
+class CodempInviteToWorkspaceCommand(sublime_plugin.WindowCommand):
+    def is_enabled(self) -> bool:
+        return client.codemp is not None and len(client.all_workspaces(self.window)) > 0
+
+    def run(self, workspace_id: str, user: str):  # pyright: ignore[reportIncompatibleMethodOverride]
+        assert client.codemp is not None
+        client.codemp.invite_to_workspace(workspace_id, user)
+        logger.debug(f"invite sent to user {user} for workspace {workspace_id}.")
+
+    def input(self, args):
+        assert client.codemp is not None
+        if "workspace_id" not in args:
+            wslist = client.codemp.list_workspaces(True, False)
+            return SimpleListInput(
+                ("workspace_id", wslist.wait()), ("user", "invitee's username")
+            )
+
+        if "user" not in args:
+            return SimpleTextInput(("user", "invitee's username"))
+
+
+class CodempCreateWorkspaceCommand(sublime_plugin.WindowCommand):
+    def is_enabled(self):
+        return client.codemp is not None
+
+    def run(self, workspace_id: str):  # pyright: ignore[reportIncompatibleMethodOverride]
+        assert client.codemp is not None
+        client.codemp.create_workspace(workspace_id)
+
+    def input(self, args):
+        if "workspace_id" not in args:
+            return SimpleTextInput(("workspace_id", "new workspace"))
+
+
+class CodempDeleteWorkspaceCommand(sublime_plugin.WindowCommand):
+    def is_enabled(self):
+        return client.codemp is not None
+
+    def run(self, workspace_id: str):  # pyright: ignore[reportIncompatibleMethodOverride]
+        assert client.codemp is not None
+
+        vws = client.workspace_from_id(workspace_id)
+        if vws is not None:
+            if not sublime.ok_cancel_dialog(
+                "You are currently attached to '{workspace_id}'.\n\
+                Do you want to detach and delete it?",
+                ok_title="yes",
+                title="Delete Workspace?",
+            ):
+                return
+            if not client.codemp.leave_workspace(workspace_id):
+                logger.debug("error while leaving the workspace:")
+                return
+            client.uninstall_workspace(vws)
+
+        client.codemp.delete_workspace(workspace_id)
+
+    def input(self, args):
+        assert client.codemp is not None
+        workspaces = client.codemp.list_workspaces(True, False)  # noqa: F841
+        if "workspace_id" not in args:
+            return SimpleListInput(("workspace_id", workspaces.wait()))

input_handlers.py

@@ -0,0 +1,159 @@
+import sublime_plugin
+import logging
+
+from typing import Tuple, Union, List
+
+from .src.client import client
+
+logger = logging.getLogger(__name__)
+
+
+# Input handlers
+############################################################
+class SimpleTextInput(sublime_plugin.TextInputHandler):
+    def __init__(self, *args: Tuple[str, Union[str, List[str]]]):
+        logging.debug(f"why isn't the text input working? {args}")
+        self.argname = args[0][0]
+        self.default = args[0][1]
+        self.next_inputs = args[1:]
+
+    def initial_text(self):
+        if isinstance(self.default, str):
+            return self.default
+        else: return ""
+
+    def name(self):
+        return self.argname
+
+    def next_input(self, args):
+        if len(self.next_inputs) > 0:
+            if self.next_inputs[0][0] not in args:
+                if isinstance(self.next_inputs[0][1], list):
+                    return SimpleListInput(*self.next_inputs)
+                else:
+                    return SimpleTextInput(*self.next_inputs)
+
+
+class SimpleListInput(sublime_plugin.ListInputHandler):
+    def __init__(self, *args: Tuple[str, Union["list[str]", str]]):
+        self.argname = args[0][0]
+        self.list = args[0][1]
+        self.next_inputs = args[1:]
+
+    def name(self):
+        return self.argname
+
+    def list_items(self):
+        if isinstance(self.list, list):
+            return self.list
+        else:
+            return [self.list]
+
+    def next_input(self, args):
+        if len(self.next_inputs) > 0:
+            if self.next_inputs[0][0] not in args:
+                if isinstance(self.next_inputs[0][1], str):
+                    return SimpleTextInput(*self.next_inputs)
+                else:
+                    return SimpleListInput(*self.next_inputs)
+
+
+class ActiveWorkspacesIdList(sublime_plugin.ListInputHandler):
+    def __init__(self, window=None, buffer_list=False, buffer_text=False):
+        self.window = window
+        self.buffer_list = buffer_list
+        self.buffer_text = buffer_text
+
+    def name(self):
+        return "workspace_id"
+
+    def list_items(self):
+        return [vws.id for vws in client.all_workspaces(self.window)]
+
+    def next_input(self, args):
+        if self.buffer_list:
+            return BufferIdList(args["workspace_id"])
+        elif self.buffer_text:
+            return SimpleTextInput(("buffer_id", "new buffer"))
+
+
+# To allow for having a selection and choosing non existing workspaces
+# we do a little dance: We pass this list input handler to a TextInputHandler
+# when we select "Create New..." which adds his result to the list of possible
+# workspaces and pop itself off the stack to go back to the list handler.
+class WorkspaceIdList(sublime_plugin.ListInputHandler):
+    def __init__(self):
+        assert client.codemp is not None  # the command should not be available
+
+        # at the moment, the client can't give us a full list of existing workspaces
+        # so a textinputhandler would be more appropriate. but we keep this for the future
+
+        self.add_entry_text = "* add entry..."
+        self.list = client.codemp.list_workspaces(True, True).wait()
+        self.list.sort()
+        self.list.append(self.add_entry_text)
+        self.preselected = None
+
+    def name(self):
+        return "workspace_id"
+
+    def placeholder(self):
+        return "Workspace"
+
+    def list_items(self):
+        if self.preselected is not None:
+            return (self.list, self.preselected)
+        else:
+            return self.list
+
+    def next_input(self, args):
+        if args["workspace_id"] == self.add_entry_text:
+            return AddListEntry(self)
+
+
+class BufferIdList(sublime_plugin.ListInputHandler):
+    def __init__(self, workspace_id):
+        vws = client.workspace_from_id(workspace_id)
+        self.add_entry_text = "* create new..."
+        self.list = vws.codemp.filetree(None)
+        self.list.sort()
+        self.list.append(self.add_entry_text)
+        self.preselected = None
+
+    def name(self):
+        return "buffer_id"
+
+    def placeholder(self):
+        return "Buffer Id"
+
+    def list_items(self):
+        if self.preselected is not None:
+            return (self.list, self.preselected)
+        else:
+            return self.list
+
+    def next_input(self, args):
+        if args["buffer_id"] == self.add_entry_text:
+            return AddListEntry(self)
+
+
+class AddListEntry(sublime_plugin.TextInputHandler):
+    # this class works when the list input handler
+    # added appended a new element to it's list that will need to be
+    # replaced with the entry added from here!
+    def __init__(self, list_input_handler):
+        self.parent = list_input_handler
+
+    def name(self):
+        return ""
+
+    def validate(self, text: str) -> bool:
+        return not len(text) == 0
+
+    def confirm(self, text: str):
+        self.parent.list.pop()  # removes the add_entry_text
+        self.parent.list.insert(0, text)
+        self.parent.preselected = 0
+
+    def next_input(self, args):
+        return sublime_plugin.BackInputHandler()

listeners.py

@@ -0,0 +1,117 @@
+import sublime
+import sublime_plugin
+import logging
+
+from .src.client import client
+from .src.utils import safe_listener_attach
+from .src.utils import safe_listener_detach
+from .src import globals as g
+
+logger = logging.getLogger(__name__)
+
+
+# Listeners
+##############################################################################
+class EventListener(sublime_plugin.EventListener):
+    def is_enabled(self):
+        return client.codemp is not None
+
+    def on_exit(self):
+        client.disconnect()
+        if client.driver is not None:
+            client.driver.stop()
+
+    def on_pre_close_window(self, window):
+        assert client.codemp is not None
+
+        for vws in client.all_workspaces(window):
+            client.codemp.leave_workspace(vws.id)
+            client.uninstall_workspace(vws)
+
+    def on_text_command(self, view, command_name, args):
+        if command_name == "codemp_replace_text":
+            logger.info("got a codemp_replace_text command!")
+
+    def on_post_text_command(self, view, command_name, args):
+        if command_name == "codemp_replace_text":
+            logger.info("got a codemp_replace_text command!")
+
+
+class CodempClientViewEventListener(sublime_plugin.ViewEventListener):
+    @classmethod
+    def is_applicable(cls, settings):
+        return settings.get(g.CODEMP_BUFFER_TAG) is not None
+
+    @classmethod
+    def applies_to_primary_view_only(cls):
+        return False
+
+    def on_selection_modified_async(self):
+        region = self.view.sel()[0]
+        start = self.view.rowcol(region.begin())
+        end = self.view.rowcol(region.end())
+
+        vws = client.workspace_from_view(self.view)
+        vbuff = client.buffer_from_view(self.view)
+        if vws is None or vbuff is None:
+            logger.error("we couldn't find the matching buffer or workspace!")
+            return
+
+        logger.debug(f"selection modified! {vws.id}, {vbuff.id} - {start}, {end}")
+        vws.send_cursor(vbuff.id, start, end)
+
+    def on_activated(self):
+        global TEXT_LISTENER
+        logger.debug(f"'{self.view}' view activated!")
+        safe_listener_attach(TEXT_LISTENER, self.view.buffer())  # pyright: ignore
+
+    def on_deactivated(self):
+        global TEXT_LISTENER
+        logger.debug(f"'{self.view}' view deactivated!")
+        safe_listener_detach(TEXT_LISTENER)  # pyright: ignore
+
+    def on_pre_close(self):
+        if self.view == sublime.active_window().active_view():
+            logger.debug("closing active view")
+            global TEXT_LISTENER
+            safe_listener_detach(TEXT_LISTENER)  # pyright: ignore
+
+        vws = client.workspace_from_view(self.view)
+        vbuff = client.buffer_from_view(self.view)
+        if vws is None or vbuff is None:
+            logger.debug("no matching workspace or buffer.")
+            return
+
+        client.unregister_buffer(vbuff)
+        vws.uninstall_buffer(vbuff)
+
+    def on_text_command(self, command_name, args):
+        if command_name == "codemp_replace_text":
+            logger.info("got a codemp_replace_text command! but in the view listener")
+
+    def on_post_text_command(self, command_name, args):
+        if command_name == "codemp_replace_text":
+            logger.info("got a codemp_replace_text command! but in the view listener")
+
+
+class CodempClientTextChangeListener(sublime_plugin.TextChangeListener):
+    @classmethod
+    def is_applicable(cls, buffer):  # pyright: ignore
+        # don't attach this event listener automatically
+        # we'll do it by hand with .attach(buffer).
+        return False
+
+    def on_text_changed(self, changes):
+        s = self.buffer.primary_view().settings()
+        if s.get(g.CODEMP_IGNORE_NEXT_TEXT_CHANGE, False):
+            logger.debug("Ignoring echoing back the change.")
+            s[g.CODEMP_IGNORE_NEXT_TEXT_CHANGE] = False
+            return
+
+        vbuff = client.buffer_from_view(self.buffer.primary_view())
+        if vbuff is not None:
+            logger.debug(f"local buffer change! {vbuff.id}")
+            vbuff.send_buffer_change(changes)
+
+
+TEXT_LISTENER = CodempClientTextChangeListener()

plugin.py

@@ -2,13 +2,22 @@
 import sublime
 import sublime_plugin
 import logging
-import random
-from typing import Tuple, Union
 
-from .src.client import client
 from .src.utils import safe_listener_detach
-from .src.utils import safe_listener_attach
+from listeners import TEXT_LISTENER
-from .src import globals as g
+
+from client_commands import CodempConnectCommand
+from client_commands import CodempDisconnectCommand
+from client_commands import CodempCreateWorkspaceCommand
+from client_commands import CodempDeleteWorkspaceCommand
+from client_commands import CodempJoinWorkspaceCommand
+from client_commands import CodempLeaveWorkspaceCommand
+from client_commands import CodempInviteToWorkspaceCommand
+
+from workspace_commands import CodempCreateBufferCommand
+from workspace_commands import CodempDeleteBufferCommand
+from workspace_commands import CodempJoinBufferCommand
+from workspace_commands import CodempLeaveBufferCommand
 
 LOG_LEVEL = logging.DEBUG
 handler = logging.StreamHandler()
@@ -22,531 +31,20 @@ package_logger = logging.getLogger(__package__)
 package_logger.addHandler(handler)
 package_logger.setLevel(LOG_LEVEL)
 package_logger.propagate = False
-
 logger = logging.getLogger(__name__)
 
-TEXT_LISTENER = None
-
-# the actual client gets initialized upon plugin loading as a singleton
-# in its own submodule.
-
 
 # Initialisation and Deinitialisation
 ##############################################################################
 def plugin_loaded():
-    global TEXT_LISTENER
-    TEXT_LISTENER = CodempClientTextChangeListener()
     logger.debug("plugin loaded")
 
 
 def plugin_unloaded():
     logger.debug("unloading")
-    global TEXT_LISTENER
+    safe_listener_detach(TEXT_LISTENER)
-
-    if TEXT_LISTENER is not None:
-        safe_listener_detach(TEXT_LISTENER)
-
     package_logger.removeHandler(handler)
     # client.disconnect()
-    # rt.stop_loop()
-
-
-# Listeners
-##############################################################################
-class EventListener(sublime_plugin.EventListener):
-    def is_enabled(self):
-        return client.codemp is not None
-
-    def on_exit(self):
-        client.disconnect()
-        if client.driver is not None:
-            client.driver.stop()
-
-    def on_pre_close_window(self, window):
-        assert client.codemp is not None
-
-        for vws in client.all_workspaces(window):
-            client.codemp.leave_workspace(vws.id)
-            client.uninstall_workspace(vws)
-
-    def on_text_command(self, view, command_name, args):
-        if command_name == "codemp_replace_text":
-            logger.info("got a codemp_replace_text command!")
-
-    def on_post_text_command(self, view, command_name, args):
-        if command_name == "codemp_replace_text":
-            logger.info("got a codemp_replace_text command!")
-
-
-class CodempClientViewEventListener(sublime_plugin.ViewEventListener):
-    @classmethod
-    def is_applicable(cls, settings):
-        return settings.get(g.CODEMP_BUFFER_TAG, False)
-
-    @classmethod
-    def applies_to_primary_view_only(cls):
-        return False
-
-    def on_selection_modified_async(self):
-        region = self.view.sel()[0]
-        start = self.view.rowcol(region.begin())
-        end = self.view.rowcol(region.end())
-
-        vws = client.workspace_from_view(self.view)
-        vbuff = client.buffer_from_view(self.view)
-        if vws is None or vbuff is None:
-            logger.error("we couldn't find the matching buffer or workspace!")
-            return
-
-        logger.debug(f"selection modified! {vws.id}, {vbuff.id} - {start}, {end}")
-        vws.send_cursor(vbuff.id, start, end)
-
-    def on_activated(self):
-        global TEXT_LISTENER
-        logger.debug(f"'{self.view}' view activated!")
-        safe_listener_attach(TEXT_LISTENER, self.view.buffer())  # pyright: ignore
-
-    def on_deactivated(self):
-        global TEXT_LISTENER
-        logger.debug(f"'{self.view}' view deactivated!")
-        safe_listener_detach(TEXT_LISTENER)  # pyright: ignore
-
-    def on_pre_close(self):
-        if self.view == sublime.active_window().active_view():
-            logger.debug("closing active view")
-            global TEXT_LISTENER
-            safe_listener_detach(TEXT_LISTENER)  # pyright: ignore
-
-        vws = client.workspace_from_view(self.view)
-        vbuff = client.buffer_from_view(self.view)
-        if vws is None or vbuff is None:
-            logger.debug("no matching workspace or buffer.")
-            return
-
-        client.unregister_buffer(vbuff)
-        vws.uninstall_buffer(vbuff)
-
-    def on_text_command(self, command_name, args):
-        if command_name == "codemp_replace_text":
-            logger.info("got a codemp_replace_text command! but in the view listener")
-
-    def on_post_text_command(self, command_name, args):
-        if command_name == "codemp_replace_text":
-            logger.info("got a codemp_replace_text command! but in the view listener")
-
-
-class CodempClientTextChangeListener(sublime_plugin.TextChangeListener):
-    @classmethod
-    def is_applicable(cls, buffer):
-        # don't attach this event listener automatically
-        # we'll do it by hand with .attach(buffer).
-        return False
-
-    def on_text_changed(self, changes):
-        s = self.buffer.primary_view().settings()
-        if s.get(g.CODEMP_IGNORE_NEXT_TEXT_CHANGE, False):
-            logger.debug("Ignoring echoing back the change.")
-            s[g.CODEMP_IGNORE_NEXT_TEXT_CHANGE] = False
-            return
-
-        vbuff = client.buffer_from_view(self.buffer.primary_view())
-        if vbuff is not None:
-            logger.debug(f"local buffer change! {vbuff.id}")
-            vbuff.send_buffer_change(changes)
-
-
-# Client Commands:
-#   codemp_connect:         connect to a server.
-#   codemp_disconnect:      manually call the disconnection, triggering the cleanup and dropping
-#                           the connection
-#   codemp_join_workspace:  joins a specific workspace, without joining also a buffer
-#   codemp_leave_workspace:
-
-# Workspace Commands:
-#   codemp_join_buffer:     joins a specific buffer within the current active workspace
-#   codemp_leave_buffer:
-#   codemp_create_buffer:
-#   codemp_delete_buffer:
-
-# Internal commands:
-#   replace_text:       swaps the content of a view with the given text.
-
-
-# Client Commands
-#############################################################################
-# Connect Command
-class CodempConnectCommand(sublime_plugin.WindowCommand):
-    def is_enabled(self) -> bool:
-        return client.codemp is None
-
-    def run(self, server_host, user_name, password):
-        logger.info(f"Connecting to {server_host} with user {user_name}...")
-
-        def try_connect():
-            try:
-                client.connect(server_host, user_name, password)
-            except Exception as e:
-                logger.error(f"Could not connect: {e}")
-                sublime.error_message(
-                    "Could not connect:\n Make sure the server is up\n\
-                    and your credentials are correct."
-                )
-
-        sublime.set_timeout_async(try_connect)
-
-    def input_description(self):
-        return "Server host:"
-
-    def input(self, args):
-        if "server_host" not in args:
-            return SimpleTextInput(
-                ("server_host", "http://code.mp:50053"),
-                ("user_name", f"user-{random.random()}"),
-                ("password", "password?"),
-            )
-
-        if "user_name" not in args:
-            return SimpleTextInput(
-                ("user_name", f"user-{random.random()}"),
-                ("password", "password?"),
-            )
-
-        if "password" not in args:
-            return SimpleTextInput(
-                ("password", "password?"),
-            )
-
-
-# Disconnect Command
-class CodempDisconnectCommand(sublime_plugin.WindowCommand):
-    def is_enabled(self):
-        return client.codemp is not None
-
-    def run(self):
-        client.disconnect()
-
-
-# Join Workspace Command
-class CodempJoinWorkspaceCommand(sublime_plugin.WindowCommand):
-    def is_enabled(self) -> bool:
-        return client.codemp is not None
-
-    def run(self, workspace_id):
-        assert client.codemp is not None
-        if workspace_id is None:
-            return
-
-        logger.info(f"Joining workspace: '{workspace_id}'...")
-        promise = client.codemp.join_workspace(workspace_id)
-        active_window = sublime.active_window()
-
-        def defer_instantiation(promise):
-            try:
-                workspace = promise.wait()
-            except Exception as e:
-                logger.error(
-                    f"Could not join workspace '{workspace_id}'.\n\nerror: {e}"
-                )
-                sublime.error_message(f"Could not join workspace '{workspace_id}'")
-                return
-            client.install_workspace(workspace, active_window)
-
-        sublime.set_timeout_async(lambda: defer_instantiation(promise))
-        # the else shouldn't really happen, and if it does, it should already be instantiated.
-        # ignore.
-
-    def input_description(self):
-        return "Join:"
-
-    def input(self, args):
-        if "workspace_id" not in args:
-            list = client.codemp.list_workspaces(True, True)
-            return SimpleListInput(
-                ("workspace_id", list.wait()),
-            )
-
-
-# Leave Workspace Command
-class CodempLeaveWorkspaceCommand(sublime_plugin.WindowCommand):
-    def is_enabled(self):
-        return client.codemp is not None and len(client.all_workspaces(self.window)) > 0
-
-    def run(self, workspace_id: str):
-        assert client.codemp is not None
-        if client.codemp.leave_workspace(workspace_id):
-            vws = client.workspace_from_id(workspace_id)
-            if vws is not None:
-                client.uninstall_workspace(vws)
-        else:
-            logger.error(f"could not leave the workspace '{workspace_id}'")
-
-    def input(self, args):
-        if "workspace_id" not in args:
-            return ActiveWorkspacesIdList()
-
-
-class CodempInviteToWorkspaceCommand(sublime_plugin.WindowCommand):
-    def is_enabled(self) -> bool:
-        return client.codemp is not None and len(client.all_workspaces(self.window)) > 0
-
-    def run(self, workspace_id: str, user: str):
-        assert client.codemp is not None
-        client.codemp.invite_to_workspace(workspace_id, user)
-        logger.debug(f"invite sent to user {user} for workspace {workspace_id}.")
-
-    def input(self, args):
-        if "workspace_id" not in args:
-            wslist = client.codemp.list_workspaces(True, False)
-            return SimpleListInput(
-                ("workspace_id", wslist.wait()), ("user", "invitee's username")
-            )
-
-        if "user" not in args:
-            return SimpleTextInput(("user", "invitee's username"))
-
-
-class CodempCreateWorkspaceCommand(sublime_plugin.WindowCommand):
-    def is_enabled(self):
-        return client.codemp is not None
-
-    def run(self, workspace_id: str):
-        assert client.codemp is not None
-        client.codemp.create_workspace(workspace_id)
-
-    def input(self, args):
-        if "workspace_id" not in args:
-            return SimpleTextInput(("workspace_id", "new workspace"))
-
-
-class CodempDeleteWorkspaceCommand(sublime_plugin.WindowCommand):
-    def is_enabled(self):
-        return client.codemp is not None
-
-    def run(self, workspace_id: str):
-        assert client.codemp is not None
-
-        vws = client.workspace_from_id(workspace_id)
-        if vws is not None:
-            if not sublime.ok_cancel_dialog(
-                "You are currently attached to '{workspace_id}'.\n\
-                Do you want to detach and delete it?",
-                ok_title="yes",
-                title="Delete Workspace?",
-            ):
-                return
-            if not client.codemp.leave_workspace(workspace_id):
-                logger.debug("error while leaving the workspace:")
-                return
-            client.uninstall_workspace(vws)
-
-        client.codemp.delete_workspace(workspace_id)
-
-    def input(self, args):
-        workspaces = client.codemp.list_workspaces(True, False)  # noqa: F841
-        if "workspace_id" not in args:
-            return SimpleListInput(("workspace_id", workspaces.wait()))
-
-
-# WORKSPACE COMMANDS
-#############################################################################
-
-
-# Join Buffer Command
-class CodempJoinBufferCommand(sublime_plugin.WindowCommand):
-    def is_enabled(self):
-        available_workspaces = client.all_workspaces(self.window)
-        return len(available_workspaces) > 0
-
-    def run(self, workspace_id, buffer_id):
-        # A workspace has some Buffers inside of it (filetree)
-        # some of those you are already attached to
-        # If already attached to it return the same alredy existing bufferctl
-        # if existing but not attached (attach)
-        # if not existing ask for creation (create + attach)
-        vws = client.workspace_from_id(workspace_id)
-        assert vws is not None
-
-        # is the buffer already installed?
-        if buffer_id in vws.codemp.buffer_list():
-            logger.info("buffer already installed!")
-            return  # do nothing.
-
-        if buffer_id not in vws.codemp.filetree(filter=buffer_id):
-            create = sublime.ok_cancel_dialog(
-                "There is no buffer named '{buffer_id}' in the workspace '{workspace_id}'.\n\
-                Do you want to create it?",
-                ok_title="yes",
-                title="Create Buffer?",
-            )
-            if create:
-                try:
-                    create_promise = vws.codemp.create(buffer_id)
-                except Exception as e:
-                    logging.error(f"could not create buffer:\n\n {e}")
-                    return
-                create_promise.wait()
-
-        # now we can defer the attaching process
-        logger.debug(f"attempting to attach to {buffer_id}...")
-        promise = vws.codemp.attach(buffer_id)
-
-        def deferred_attach(promise):
-            try:
-                buff_ctl = promise.wait()
-                logger.debug("attach successfull!")
-            except Exception as e:
-                logging.error(f"error when attaching to buffer '{id}':\n\n {e}")
-                sublime.error_message(f"Could not attach to buffer '{buffer_id}'")
-                return
-            global TEXT_LISTENER
-            vbuff = vws.install_buffer(buff_ctl, TEXT_LISTENER)
-            client.register_buffer(vws, vbuff)  # we need to keep track of it.
-
-            # TODO! if the view is already active calling focus_view()
-            # will not trigger the on_activate
-            self.window.focus_view(vbuff.view)
-
-        sublime.set_timeout_async(lambda: deferred_attach(promise))
-
-    def input_description(self) -> str:
-        return "Attach: "
-
-    def input(self, args):
-        if "workspace_id" not in args:
-            return ActiveWorkspacesIdList(self.window, buffer_list=True)
-
-        if "buffer_id" not in args:
-            return BufferIdList(args["workspace_id"])
-
-
-# Leave Buffer Comand
-class CodempLeaveBufferCommand(sublime_plugin.WindowCommand):
-    def is_enabled(self):
-        return len(client.all_buffers()) > 0
-
-    def run(self, workspace_id, buffer_id):
-        vbuff = client.buffer_from_id(buffer_id)
-        vws = client.workspace_from_id(workspace_id)
-
-        if vbuff is None or vws is None:
-            sublime.error_message(f"You are not attached to the buffer '{id}'")
-            logging.warning(f"You are not attached to the buffer '{id}'")
-            return
-
-        def defer_detach():
-            if vws.codemp.detach(buffer_id):
-                vws.uninstall_buffer(vbuff)
-                client.unregister_buffer(vbuff)
-
-        sublime.set_timeout_async(defer_detach)
-
-    def input_description(self) -> str:
-        return "Leave: "
-
-    def input(self, args):
-        if "workspace_id" not in args:
-            return ActiveWorkspacesIdList(self.window, buffer_list=True)
-
-        if "buffer_id" not in args:
-            return BufferIdList(args["workspace_id"])
-
-
-# Leave Buffer Comand
-class CodempCreateBufferCommand(sublime_plugin.WindowCommand):
-    def is_enabled(self):
-        return len(client.all_workspaces(self.window)) > 0
-
-    def run(self, workspace_id, buffer_id):
-        vws = client.workspace_from_id(workspace_id)
-
-        if vws is None:
-            sublime.error_message(
-                f"You are not attached to the workspace '{workspace_id}'"
-            )
-            logging.warning(f"You are not attached to the workspace '{workspace_id}'")
-            return
-
-        vws.codemp.create(buffer_id)
-        logging.info(
-            "created buffer '{buffer_id}' in the workspace '{workspace_id}'.\n\
-            To interact with it you need to attach to it with Codemp: Attach."
-        )
-
-    def input_description(self) -> str:
-        return "Create Buffer: "
-
-    def input(self, args):
-        if "workspace_id" not in args:
-            return ActiveWorkspacesIdList(self.window, buffer_text=True)
-
-        if "buffer_id" not in args:
-            return SimpleTextInput(
-                (("buffer_id", "new buffer")),
-            )
-
-
-class CodempDeleteBufferCommand(sublime_plugin.WindowCommand):
-    def is_enabled(self):
-        return client.codemp is not None and len(client.codemp.active_workspaces()) > 0
-
-    def run(self, workspace_id, buffer_id):
-        vws = client.workspace_from_id(workspace_id)
-        if vws is None:
-            sublime.error_message(
-                f"You are not attached to the workspace '{workspace_id}'"
-            )
-            logging.warning(f"You are not attached to the workspace '{workspace_id}'")
-            return
-
-        fetch_promise = vws.codemp.fetch_buffers()
-        delete = sublime.ok_cancel_dialog(
-            f"Confirm you want to delete the buffer '{buffer_id}'",
-            ok_title="delete",
-            title="Delete Buffer?",
-        )
-        if not delete:
-            return
-        fetch_promise.wait()
-        existing = vws.codemp.filetree(buffer_id)
-        if len(existing) == 0:
-            sublime.error_message(
-                f"The buffer '{buffer_id}' does not exists in the workspace."
-            )
-            logging.info(f"The buffer '{buffer_id}' does not exists in the workspace.")
-            return
-
-        def deferred_delete():
-            try:
-                vws.codemp.delete(buffer_id).wait()
-            except Exception as e:
-                logging.error(
-                    f"error when deleting the buffer '{buffer_id}':\n\n {e}", True
-                )
-                return
-
-        vbuff = client.buffer_from_id(buffer_id)
-        if vbuff is None:
-            # we are not attached to it!
-            sublime.set_timeout_async(deferred_delete)
-        else:
-            if vws.codemp.detach(buffer_id):
-                vws.uninstall_buffer(vbuff)
-                sublime.set_timeout_async(deferred_delete)
-            else:
-                logging.error(
-                    f"error while detaching from buffer '{buffer_id}', aborting the delete."
-                )
-                return
-
-    def input_description(self) -> str:
-        return "Delete buffer: "
-
-    def input(self, args):
-        if "workspace_id" not in args:
-            return ActiveWorkspacesIdList(self.window, buffer_list=True)
-
-        if "buffer_id" not in args:
-            return BufferIdList(args["workspace_id"])
 
 
 # Text Change Command
@@ -558,153 +56,6 @@ class CodempReplaceTextCommand(sublime_plugin.TextCommand):
         self.view.replace(edit, region, content)
 
 
-# Input handlers
-############################################################
-class SimpleTextInput(sublime_plugin.TextInputHandler):
-    def __init__(self, *args: Tuple[str, Union[str, list]], next_is_list=False):
-        logging.debug(f"why isn't the text input working? {args}")
-        self.argname = args[0][0]
-        self.default = args[0][1]
-        self.next_inputs = args[1:]
-        self.switch_next = next_is_list
-
-    def initial_text(self):
-        return self.default
-
-    def name(self):
-        return self.argname
-
-    def next_input(self, args):
-        if len(self.next_inputs) > 0:
-            if self.next_inputs[0][0] not in args:
-                if isinstance(self.next_inputs[0][1], list):
-                    return SimpleListInput(*self.next_inputs)
-                else:
-                    return SimpleTextInput(*self.next_inputs)
-
-
-class SimpleListInput(sublime_plugin.ListInputHandler):
-    def __init__(self, *args: Tuple[str, Union[list, str]]):
-        self.argname = args[0][0]
-        self.list = args[0][1]
-        self.next_inputs = args[1:]
-
-    def name(self):
-        return self.argname
-
-    def list_items(self):
-        return self.list
-
-    def next_input(self, args):
-        if len(self.next_inputs) > 0:
-            if self.next_inputs[0][0] not in args:
-                if isinstance(self.next_inputs[0][1], str):
-                    return SimpleTextInput(*self.next_inputs)
-                else:
-                    return SimpleListInput(*self.next_inputs)
-
-
-class ActiveWorkspacesIdList(sublime_plugin.ListInputHandler):
-    def __init__(self, window=None, buffer_list=False, buffer_text=False):
-        self.window = window
-        self.buffer_list = buffer_list
-        self.buffer_text = buffer_text
-
-    def name(self):
-        return "workspace_id"
-
-    def list_items(self):
-        return [vws.id for vws in client.all_workspaces(self.window)]
-
-    def next_input(self, args):
-        if self.buffer_list:
-            return BufferIdList(args["workspace_id"])
-        elif self.buffer_text:
-            return SimpleTextInput(("buffer_id", "new buffer"))
-
-
-# To allow for having a selection and choosing non existing workspaces
-# we do a little dance: We pass this list input handler to a TextInputHandler
-# when we select "Create New..." which adds his result to the list of possible
-# workspaces and pop itself off the stack to go back to the list handler.
-class WorkspaceIdList(sublime_plugin.ListInputHandler):
-    def __init__(self):
-        assert client.codemp is not None  # the command should not be available
-
-        # at the moment, the client can't give us a full list of existing workspaces
-        # so a textinputhandler would be more appropriate. but we keep this for the future
-
-        self.add_entry_text = "* add entry..."
-        self.list = client.codemp.list_workspaces(True, True).wait()
-        self.list.sort()
-        self.list.append(self.add_entry_text)
-        self.preselected = None
-
-    def name(self):
-        return "workspace_id"
-
-    def placeholder(self):
-        return "Workspace"
-
-    def list_items(self):
-        if self.preselected is not None:
-            return (self.list, self.preselected)
-        else:
-            return self.list
-
-    def next_input(self, args):
-        if args["workspace_id"] == self.add_entry_text:
-            return AddListEntry(self)
-
-
-class BufferIdList(sublime_plugin.ListInputHandler):
-    def __init__(self, workspace_id):
-        vws = client.workspace_from_id(workspace_id)
-        self.add_entry_text = "* create new..."
-        self.list = vws.codemp.filetree(None)
-        self.list.sort()
-        self.list.append(self.add_entry_text)
-        self.preselected = None
-
-    def name(self):
-        return "buffer_id"
-
-    def placeholder(self):
-        return "Buffer Id"
-
-    def list_items(self):
-        if self.preselected is not None:
-            return (self.list, self.preselected)
-        else:
-            return self.list
-
-    def next_input(self, args):
-        if args["buffer_id"] == self.add_entry_text:
-            return AddListEntry(self)
-
-
-class AddListEntry(sublime_plugin.TextInputHandler):
-    # this class works when the list input handler
-    # added appended a new element to it's list that will need to be
-    # replaced with the entry added from here!
-    def __init__(self, list_input_handler):
-        self.parent = list_input_handler
-
-    def name(self):
-        return None
-
-    def validate(self, text: str) -> bool:
-        return not len(text) == 0
-
-    def confirm(self, text: str):
-        self.parent.list.pop()  # removes the add_entry_text
-        self.parent.list.insert(0, text)
-        self.parent.preselected = 0
-
-    def next_input(self, args):
-        return sublime_plugin.BackInputHandler()
-
-
 # Proxy Commands ( NOT USED, left just in case we need it again. )
 #############################################################################
 # class ProxyCodempShareCommand(sublime_plugin.WindowCommand):
@@ -719,62 +70,3 @@ class AddListEntry(sublime_plugin.TextInputHandler):
 #
 #   def input_description(self):
 #       return 'Share Buffer:'
-
-
-# NOT NEEDED ANYMORE
-# def compress_change_region(changes):
-#   # the bounding region of all text changes.
-#   txt_a = float("inf")
-#   txt_b = 0
-
-#   # the region in the original buffer subjected to the change.
-#   reg_a = float("inf")
-#   reg_b = 0
-
-#   # we keep track of how much the changes move the indexing of the buffer
-#   buffer_shift = 0 # left - + right
-
-#   for change in changes:
-#       # the change in characters that the change would bring
-#       # len(str) and .len_utf8 are mutually exclusive
-#       # len(str) is when we insert new text at a position
-#       # .len_utf8 is the length of the deleted/canceled string in the buffer
-#       change_delta = len(change.str) - change.len_utf8
-
-#       # the text region is enlarged to the left
-#       txt_a = min(txt_a, change.a.pt)
-
-#       # On insertion, change.b.pt == change.a.pt
-#       #   If we meet a new insertion further than the current window
-#       #   we expand to the right by that change.
-#       # On deletion, change.a.pt == change.b.pt - change.len_utf8
-#       #   when we delete a selection and it is further than the current window
-#       #   we enlarge to the right up until the begin of the deleted region.
-#       if change.b.pt > txt_b:
-#           txt_b = change.b.pt + change_delta
-#       else:
-#           # otherwise we just shift the window according to the change
-#           txt_b += change_delta
-
-#       # the bounding region enlarged to the left
-#       reg_a = min(reg_a, change.a.pt)
-
-#       # In this bit, we want to look at the buffer BEFORE the modifications
-#       # but we are working on the buffer modified by all previous changes for each loop
-#       # we use buffer_shift to keep track of how the buffer shifts around
-#       # to map back to the correct index for each change in the unmodified buffer.
-#       if change.b.pt + buffer_shift > reg_b:
-#           # we only enlarge if we have changes that exceede on the right the current window
-#           reg_b = change.b.pt + buffer_shift
-
-#       # after using the change delta, we archive it for the next iterations
-#       # the minus is just for being able to "add" the buffer shift with a +.
-#       # since we encode deleted text as negative in the change_delta, but that requires the shift to the
-#       # old position to be positive, and viceversa for text insertion.
-#       buffer_shift -= change_delta
-
-#       # print("\t[buff change]", change.a.pt, change.str, "(", change.len_utf8,")", change.b.pt)
-
-#   # print("[walking txt]", "[", txt_a, txt_b, "]", txt)
-#   # print("[walking reg]", "[", reg_a, reg_b, "]")
-#   return reg_a, reg_b

src/client.py

@@ -12,7 +12,6 @@ from .utils import bidict
 
 logger = logging.getLogger(__name__)
 
-
 # the client will be responsible to keep track of everything!
 # it will need 3 bidirectional dictionaries and 2 normal ones
 # normal: workspace_id -> VirtualWorkspaces
@@ -20,8 +19,6 @@ logger = logging.getLogger(__name__)
 # bidir: VirtualBuffer <-> VirtualWorkspace
 # bidir: VirtualBuffer <-> Sublime.View
 # bidir: VirtualWorkspace <-> Sublime.Window
-# def log_async(msg):
-#     sublime.set_timeout_async(lambda: logger.log(logger.level, msg))
 
 
 class VirtualClient:
@@ -112,8 +109,9 @@ class VirtualClient:
         self._view2buff.clear()
         self._workspace2window.clear()
     
-        self.driver.stop()
+        if self.driver is not None:
-        self.driver = None
+            self.driver.stop()
+            self.driver = None
         self.codemp = None
 
     def connect(self, host: str, user: str, password: str):

src/workspace.py

@@ -1,6 +1,7 @@
 from __future__ import annotations
 from typing import Optional, Tuple
 
+from listeners import CodempClientTextChangeListener
 import sublime
 import shutil
 import tempfile
@@ -9,7 +10,7 @@ import logging
 from ..lib import codemp
 from . import globals as g
 from .buffers import VirtualBuffer
-from .utils import draw_cursor_region, sublime_plugin
+from .utils import draw_cursor_region
 
 logger = logging.getLogger(__name__)
 
@@ -110,9 +111,9 @@ class VirtualWorkspace:
         return self._id2buff.get(id)
 
     def install_buffer(
-        self, buff: codemp.BufferController, listener: sublime_plugin.TextChangeListener
+        self, buff: codemp.BufferController, listener: CodempClientTextChangeListener
     ) -> VirtualBuffer:
-        logger.debug(f"installing buffer {buff.name()}")
+        logger.debug(f"installing buffer {buff.path()}")
 
         view = self.window.new_file()
         vbuff = VirtualBuffer(buff, view, self.rootdir)

workspace_commands.py

@@ -0,0 +1,208 @@
+import sublime
+import sublime_plugin
+import logging
+
+from .src.client import client
+from listeners import TEXT_LISTENER
+from input_handlers import SimpleTextInput
+from input_handlers import ActiveWorkspacesIdList
+from input_handlers import BufferIdList
+
+logger = logging.getLogger(__name__)
+
+# Join Buffer Command
+class CodempJoinBufferCommand(sublime_plugin.WindowCommand):
+    def is_enabled(self):
+        available_workspaces = client.all_workspaces(self.window)
+        return len(available_workspaces) > 0
+
+    def run(self, workspace_id, buffer_id): # pyright: ignore[reportIncompatibleMethodOverride]
+        # A workspace has some Buffers inside of it (filetree)
+        # some of those you are already attached to
+        # If already attached to it return the same alredy existing bufferctl
+        # if existing but not attached (attach)
+        # if not existing ask for creation (create + attach)
+        vws = client.workspace_from_id(workspace_id)
+        assert vws is not None
+
+        # is the buffer already installed?
+        if buffer_id in vws.codemp.buffer_list():
+            logger.info("buffer already installed!")
+            return  # do nothing.
+
+        if buffer_id not in vws.codemp.filetree(filter=buffer_id):
+            create = sublime.ok_cancel_dialog(
+                "There is no buffer named '{buffer_id}' in the workspace '{workspace_id}'.\n\
+                Do you want to create it?",
+                ok_title="yes",
+                title="Create Buffer?",
+            )
+            if create:
+                try:
+                    create_promise = vws.codemp.create(buffer_id)
+                except Exception as e:
+                    logging.error(f"could not create buffer:\n\n {e}")
+                    return
+                create_promise.wait()
+
+        # now we can defer the attaching process
+        logger.debug(f"attempting to attach to {buffer_id}...")
+        promise = vws.codemp.attach(buffer_id)
+
+        def deferred_attach(promise):
+            try:
+                buff_ctl = promise.wait()
+                logger.debug("attach successfull!")
+            except Exception as e:
+                logging.error(f"error when attaching to buffer '{id}':\n\n {e}")
+                sublime.error_message(f"Could not attach to buffer '{buffer_id}'")
+                return
+
+            vbuff = vws.install_buffer(buff_ctl, TEXT_LISTENER)
+            client.register_buffer(vws, vbuff)  # we need to keep track of it.
+
+            # TODO! if the view is already active calling focus_view()
+            # will not trigger the on_activate
+            self.window.focus_view(vbuff.view)
+
+        sublime.set_timeout_async(lambda: deferred_attach(promise))
+
+    def input_description(self) -> str:
+        return "Attach: "
+
+    def input(self, args):
+        if "workspace_id" not in args:
+            return ActiveWorkspacesIdList(self.window, buffer_list=True)
+
+        if "buffer_id" not in args:
+            return BufferIdList(args["workspace_id"])
+
+
+# Leave Buffer Comand
+class CodempLeaveBufferCommand(sublime_plugin.WindowCommand):
+    def is_enabled(self):
+        return len(client.all_buffers()) > 0
+
+    def run(self, workspace_id, buffer_id): # pyright: ignore[reportIncompatibleMethodOverride]
+        vbuff = client.buffer_from_id(buffer_id)
+        vws = client.workspace_from_id(workspace_id)
+
+        if vbuff is None or vws is None:
+            sublime.error_message(f"You are not attached to the buffer '{id}'")
+            logging.warning(f"You are not attached to the buffer '{id}'")
+            return
+
+        def defer_detach():
+            if vws.codemp.detach(buffer_id):
+                vws.uninstall_buffer(vbuff)
+                client.unregister_buffer(vbuff)
+
+        sublime.set_timeout_async(defer_detach)
+
+    def input_description(self) -> str:
+        return "Leave: "
+
+    def input(self, args):
+        if "workspace_id" not in args:
+            return ActiveWorkspacesIdList(self.window, buffer_list=True)
+
+        if "buffer_id" not in args:
+            return BufferIdList(args["workspace_id"])
+
+
+# Leave Buffer Comand
+class CodempCreateBufferCommand(sublime_plugin.WindowCommand):
+    def is_enabled(self):
+        return len(client.all_workspaces(self.window)) > 0
+
+    def run(self, workspace_id, buffer_id):# pyright: ignore[reportIncompatibleMethodOverride]
+        vws = client.workspace_from_id(workspace_id)
+
+        if vws is None:
+            sublime.error_message(
+                f"You are not attached to the workspace '{workspace_id}'"
+            )
+            logging.warning(f"You are not attached to the workspace '{workspace_id}'")
+            return
+
+        vws.codemp.create(buffer_id)
+        logging.info(
+            "created buffer '{buffer_id}' in the workspace '{workspace_id}'.\n\
+            To interact with it you need to attach to it with Codemp: Attach."
+        )
+
+    def input_description(self) -> str:
+        return "Create Buffer: "
+
+    def input(self, args):
+        if "workspace_id" not in args:
+            return ActiveWorkspacesIdList(self.window, buffer_text=True)
+
+        if "buffer_id" not in args:
+            return SimpleTextInput(
+                (("buffer_id", "new buffer")),
+            )
+
+
+class CodempDeleteBufferCommand(sublime_plugin.WindowCommand):
+    def is_enabled(self):
+        return client.codemp is not None and len(client.codemp.active_workspaces()) > 0
+
+    def run(self, workspace_id, buffer_id):# pyright: ignore[reportIncompatibleMethodOverride]
+        vws = client.workspace_from_id(workspace_id)
+        if vws is None:
+            sublime.error_message(
+                f"You are not attached to the workspace '{workspace_id}'"
+            )
+            logging.warning(f"You are not attached to the workspace '{workspace_id}'")
+            return
+
+        fetch_promise = vws.codemp.fetch_buffers()
+        delete = sublime.ok_cancel_dialog(
+            f"Confirm you want to delete the buffer '{buffer_id}'",
+            ok_title="delete",
+            title="Delete Buffer?",
+        )
+        if not delete:
+            return
+        fetch_promise.wait()
+        existing = vws.codemp.filetree(buffer_id)
+        if len(existing) == 0:
+            sublime.error_message(
+                f"The buffer '{buffer_id}' does not exists in the workspace."
+            )
+            logging.info(f"The buffer '{buffer_id}' does not exists in the workspace.")
+            return
+
+        def deferred_delete():
+            try:
+                vws.codemp.delete(buffer_id).wait()
+            except Exception as e:
+                logging.error(
+                    f"error when deleting the buffer '{buffer_id}':\n\n {e}", True
+                )
+                return
+
+        vbuff = client.buffer_from_id(buffer_id)
+        if vbuff is None:
+            # we are not attached to it!
+            sublime.set_timeout_async(deferred_delete)
+        else:
+            if vws.codemp.detach(buffer_id):
+                vws.uninstall_buffer(vbuff)
+                sublime.set_timeout_async(deferred_delete)
+            else:
+                logging.error(
+                    f"error while detaching from buffer '{buffer_id}', aborting the delete."
+                )
+                return
+
+    def input_description(self) -> str:
+        return "Delete buffer: "
+
+    def input(self, args):
+        if "workspace_id" not in args:
+            return ActiveWorkspacesIdList(self.window, buffer_list=True)
+
+        if "buffer_id" not in args:
+            return BufferIdList(args["workspace_id"])