Is is possible to make an extension that creates a new panel? #17602
Unanswered
AtomAlpaca
asked this question in
Q&A
Replies: 1 comment
-
It's not possible to do much in extensions now, alas, beyond dealing with highlights, LSP and providing slash commands with tasks. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I am trying to develop a agda extension for zed and I met some difficulties.
In the agda-mode extension of emacs, we can hit a hotkey and it appears an interactive panel with proof goal on it, I wonder:
I found nothing related in the docs and there is no other extension has such features.
Beta Was this translation helpful? Give feedback.
All reactions