Skip to content

deleting buffers #10

Open
Open
deleting buffers#10
Labels
featurea core feature on the roadmap, to be developed
Milestone
2. prototype
@alemidev

Description

@alemidev
alemidev
opened on Sep 4, 2023

allow deleting buffers from workspaces

  • add a "delete" command to stop a buffer worker serverside and delete it

Metadata

Metadata

Assignees

No one assigned

    Labels

    featurea core feature on the roadmap, to be developed

    Type

    No type

    Projects

    feature comparison matrix

    Status

    defined

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions