Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Extensions API (major feature) #54

Closed
9 tasks done
tomlin7 opened this issue Jul 3, 2023 · 0 comments
Closed
9 tasks done

Extensions API (major feature) #54

tomlin7 opened this issue Jul 3, 2023 · 0 comments
Assignees
Labels
documentation Improvements or additions to documentation enhancement New feature or request extensions Related to the biscuit extensions API

Comments

@tomlin7
Copy link
Owner

tomlin7 commented Jul 3, 2023

  • notifications
  • logger
  • custom commands
  • palette
  • sidebar slots for custom views
  • all utils
  • custom editor types
  • menubar, other context menus
  • custom shells for terminal
@tomlin7 tomlin7 added the enhancement New feature or request label Jul 3, 2023
@tomlin7 tomlin7 self-assigned this Jul 3, 2023
@tomlin7 tomlin7 pinned this issue Jul 3, 2023
tomlin7 added a commit that referenced this issue Jul 6, 2023
@tomlin7 tomlin7 added extensions Related to the biscuit extensions API documentation Improvements or additions to documentation labels Jul 7, 2023
@tomlin7 tomlin7 added this to Biscuit Jul 9, 2023
@tomlin7 tomlin7 moved this to In progress in Biscuit Jul 9, 2023
@tomlin7 tomlin7 changed the title Extensions API Extensions API (major feature) Oct 27, 2023
@tomlin7 tomlin7 unpinned this issue Dec 27, 2023
@tomlin7 tomlin7 closed this as completed Jan 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation enhancement New feature or request extensions Related to the biscuit extensions API
Projects
Status: In progress
Development

No branches or pull requests

1 participant